Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
by
Lal, Akash. editor.
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 Author
:
Lal, Akash.
Tonetta, Stefano.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 520802-1001 | XX(520802.1) | | Elektronik Kütüphane |