Title:
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author:
Lal, Akash. editor.
ISBN:
9783031258039
Edition:
1st ed. 2023.
Physical Description:
VIII, 167 p. 215 illus., 20 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13800
Contents:
Compositional Safety LTL Synthesis -- Leroy and Blazy were right: their memory model soundness proof is automatable -- Shellac: a compiler synthesizer for concurrent programs -- A sequentialization procedure for fault-tolerant protocols -- Towards Practical Partial Order Reduction for High-Level Formalisms -- SMT-based Verification of Persistency Invariants of Px86 Programs -- A Formal Semantics for P-Code -- Separating Separation Logic - Modular Verification of Red-Black Trees -- Residual Runtime Verification via Reachability Analysis.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-25803-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 520802-1001 | XX(520802.1) | Searching... | Searching... |