Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

AvAkash Lal,Stefano Tonetta

Häftad, Engelska, 2023

Del 13800 i serien Lecture Notes in Computer Science

553 kr

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

Beskrivning

The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Produktinformation

Utgivningsdatum:2023-02-02
Mått:155 x 235 x 11 mm
Vikt:283 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:167
Förlag:Springer International Publishing AG
ISBN:9783031258022

Utforska kategorier

Innehållsförteckning

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.