Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Herausgegeben:Protzenko, Jonathan; Raad, Azalea

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 15525
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-86694-4
• Seitenzahl: 132
• Erscheinungstermin: 3. Mai 2025
• Englisch
• Abmessung: 235mm x 155mm x 8mm
• Gewicht: 213g
• ISBN-13: 9783031866944
• ISBN-10: 3031866940
• Artikelnr.: 73233443

Inhaltsangabe

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