Deductive Software Verification: Future Perspectives

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

Pub Date : 2022-01-01 DOI: 10.1007/978-3-030-95561-8

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Pub Date : 2020-01-01 DOI: 10.1007/978-3-030-63618-0 M. Christakis, N. Polikarpova, Parasara Sridhar Duggirala, P. Schrammel

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Pub Date : 2020-01-01 DOI: 10.1007/978-3-030-64354-6 Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich