This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.
The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
Edited by:
Jonathan Protzenko, Azalea Raad Imprint: Springer International Publishing AG Country of Publication: Switzerland Volume: 15525 Dimensions:
Height: 235mm,
Width: 155mm,
ISBN:9783031866944 ISBN 10: 3031866940 Series:Lecture Notes in Computer Science Pages: 121 Publication Date:03 May 2025 Audience:
Professional and scholarly
,
College/higher education
,
Undergraduate
,
Further / Higher Education
Format:Paperback Publisher's Status: Active
.- MoXIchecker: An Extensible Model Checker for MoXI. .- Towards Verifying Security Policies for Infinite-State Systems. .- Deductive Verification of Sparse Sets in Why3. .- PolySAT: Word-level Bit-vector Reasoning in Z3. .- Proof-Producing Symbolic Execution for P4. .- Statically Inferring Usage Bounds for Infrastructure as Code. .- hax: Verifying Security-Critical Rust Software using Multiple Provers.