Verus

• Verus

  • Deductive verifier for Rust: specs and proofs in Rust-like syntax, typically backed by SMT—aimed at systems and low-level code where safety and correctness matter.
  • Guide: Verus guide
  • Source repository