Refinement Proofs in Rust Using Ghost Locks. - Aurel Bílý; João C. Pereira; Jan Schär; Peter Müller 001 (CoRR, 2023)

Protocols to Code: Formal Verification of a Next-Generation Internet Router. - João C. Pereira; Tobias Klenze; Sofia Giampietro; Markus Limbeck; Dionysios Spiliopoulos; Felix A. Wolf; Marco Eilers; Christoph Sprenger 001; David A. Basin; Peter Müller 001; Adrian Perrig (CoRR, 2024)