VSTTE

Keyphrases

Publications

volume 13800, 2023

Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers VSTTE 13800 (2023)

2022

Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Compositional Safety LTL Synthesis. VSTTE (2022)
Pedro Barroso, Mário Pereira, António Ravara
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. VSTTE (2022)
Cezara Dragoi, Patricio Inzaghi Pronesti
A Sequentialization Procedure for Fault-Tolerant Protocols. VSTTE (2022)
Philipp Körner, Michael Leuschel
Towards Practical Partial Order Reduction for High-Level Formalisms. VSTTE (2022)
Chukri Soueidi, Yliès Falcone
Residual Runtime Verification via Reachability Analysis. VSTTE (2022)
Iason Marmanis, Viktor Vafeiadis
SMT-Based Verification of Persistency Invariants of Px86 Programs. VSTTE (2022)
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Separating Separation Logic - Modular Verification of Red-Black Trees. VSTTE (2022)
Christopher K. Chen, Margo I. Seltzer, Mark R. Greenstreet
Shellac: A Compiler Synthesizer for Concurrent Programs. VSTTE (2022)
Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran
A Formal Semantics for P-Code. VSTTE (2022)

volume 13124, 2022

Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers VSTTE 13124 (2022)

2021

2020

volume 12549, 2020

Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers VSTTE 12549 (2020)

volume 12031, 2020

Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers VSTTE 12031 (2020)

2019