VSTTE

Keyphrases

Publications

volume 14095, 2024

Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers VSTTE 14095 (2024)

2023

Joshua M. Cohen, Andrew W. Appel
Specifying and Verifying a Real-World Packet Error-Correction System. VSTTE (2023)
Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina
Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE (2023)
Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh
Pierce: A Testing Tool for Neural Network Verification Solvers. VSTTE (2023)
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens
Provable Determinism for Software in Cyber-Physical Systems. VSTTE (2023)
Yakoub Nemouchi, Sriharsha Etigowni, Alexander J. Zolan, Richard Macwan
Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL. VSTTE (2023)
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou
Safety Performance of Neural Networks in the Presence of Covariate Shift. VSTTE (2023)

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

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