Login / Signup

The Prusti Project: Formal Verification for Rust.

Vytautas AstrauskasAurel BílýJonás FialaZachary GrannanChristoph MathejaPeter MüllerFederico PoliAlexander J. Summers
Published in: NFM (2022)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • model checker
  • project management
  • symbolic model checking
  • automated verification
  • case study
  • information systems
  • temporal logic
  • program slicing