| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911001467003321 |
|
|
Titolo |
Verified Software. Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers / / edited by Jonathan Protzenko, Azalea Raad |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 121 p. 37 illus., 22 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15525 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computers |
Software engineering |
Computer systems |
Computers, Special purpose |
Logic programming |
Computer Science Logic and Foundations of Programming |
Computer Hardware |
Software Engineering |
Computer System Implementation |
Special Purpose and Application-Based Systems |
Logic in AI |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- 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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
| |