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.

Sommario

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

Dettagli sul prodotto

• Con la collaborazione di: Jonathan Protzenko (Editore), Raad (Editore), Azalea Raad (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 17.04.2025
• EAN: 9783031866944
• ISBN: 978-3-0-3186694-4
• Pagine: 121
• Illustrazioni: IX, 121 p. 37 illus., 22 illus. in color.
• Serie: Lecture Notes in Computer Science
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; 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