The Prusti Project: Formal Verification for Rust
Vytautas Astrauskas, Aurel Bílý, Jonáš Fiala, Zachary Grannan, Christoph Matheja, Péter Müller, Federico Poli, Alexander J. Summers
Topics & Concepts
Computer scienceRust (programming language)CorrectnessProgramming languageKey (lock)Overhead (engineering)Feature (linguistics)Formal verificationMemory safetySoftware engineeringSoftwareOperating systemPhilosophyLinguisticsFormal Methods in VerificationSoftware Testing and Debugging TechniquesSecurity and Verification in Computing