Local Reasoning for Global Graph Properties

von Krishna, Siddharth
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Formally Validating a Practical Verification Condition Generator

von Parthasarathy, Gaurav
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Sound Automation of Magic Wands

von Dardinier, Thibault
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

The Prusti Project: Formal Verification for Rust

von Astrauskas, Vytautas
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)