Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

AvJonathan Protzenko,Azalea Raad

Häftad, Engelska, 2025

Del 15525 i serien Lecture Notes in Computer Science

554 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2025-05-03
Mått:155 x 235 x 8 mm
Vikt:213 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:121
Förlag:Springer International Publishing AG
ISBN:9783031866944

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

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