Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

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.

List of contents

.- 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.

Product details

• Assisted by: Jonathan Protzenko (Editor), Raad (Editor), Azalea Raad (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 17.04.2025
• EAN: 9783031866944
• ISBN: 978-3-0-3186694-4
• No. of pages: 121
• Illustrations: IX, 121 p. 37 illus., 22 illus. in color.
• Series: Lecture Notes in Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Künstliche Intelligenz, Computerhardware, Software Engineering, Wissensbasierte Systeme, Expertensysteme, Systemanalyse und -design, computer hardware, Computer System Implementation, Special Purpose and Application-Based Systems, Logic in AI, Computer Science Logic and Foundations of Programming, Specification, software verification, interactive verifiers, automated theorem provers, program analyzers, model checkers, SAT/SMT solvers, proof checkers, annotation languages, integrated verification environments