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.

Table des matières

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

Détails du produit

• Collaboration: Jonathan Protzenko (Editeur), Raad (Editeur), Azalea Raad (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 17.04.2025
• EAN: 9783031866944
• ISBN: 978-3-0-3186694-4
• Pages: 121
• Dimensions: 155 mm x 7 mm x 235 mm
• Poids: 213 g
• Illustrations: IX, 121 p. 37 illus., 22 illus. in color.
• Thème: Lecture Notes in Computer Science
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; 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