1 option
Verified software theories, tools and experiments : 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025 revised selected papers Clément Pit-Claudel, Katherine Kosaian, editors
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- VSTTE (Conference) (17th : 2025 : Menlo Park, Calif.)
- Series:
- Lecture notes in computer science ; 16499.
- Lecture notes in computer science 1611-3349 16499
- Language:
- English
- Subjects (All):
- Computer software--Verification.
- Genre:
- proceedings (reports)
- Conference papers and proceedings
- Conference papers and proceedings.
- Physical Description:
- 1 online resource
- Place of Publication:
- Cham, Switzerland Springer [2026]
- Summary:
- "This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025. The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial. VSTTE focusses on critical research challenges in the spectrum of software verification"-- Springer Nature Link
- Contents:
- Rely-guarantee verification of queue locks with proof support in Isabelle/HOL / Robert J. Colvin, Scott Heiner, Peter Höfner, and Roger C. Su
- Template DBM : a new weakly relational domain for efficient memory-access validation / Yusen Su, Jorge A. Navas, and Arie Gurfinkel
- An upper bound on number of trajectories required for reachable set computation of linear systems / Parasara Sridhar Duggirala
- Verifying the functional correctness of Braun trees with LiquidHaskell / Felipe de León, Alberto Pardo, and Marcos Viera
- HOL4P4.EXE : a formally verified P4 software switch / Didrik Lundberg and Roberto Guanciale
- Bounding the execution cost of WebAssembly functions / John Shortt, Amy Felty, and Anil Somayaji
- Notes:
- Includes bibliographical references and index
- Online resource; title from PDF title page (Springer Nature Link, viewed July 6, 2026)
- Other Format:
- Print version VSTTE (Conference) (17th : 2025 : Menlo Park, Calif.) Verified software
- ISBN:
- 9783032273406
- 3032273404
- OCLC:
- 1601918901
- Access Restriction:
- Restricted for use by site license
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.