deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
There's a couple prototypes already, such as Prusti or Creusot.
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
Automatic Rust verification tools (2021)
1 project | reddit.com/r/rust | 5 Jun 2021
Safer Rust: Program Verification with Creusot [video]
1 project | reddit.com/r/rust | 28 Mar 2021
What's your strategy for checking that your code is panic free?
3 projects | reddit.com/r/rust | 16 May 2022
What Is Rust's Unsafe?
5 projects | news.ycombinator.com | 10 Apr 2022
Things I hate about Rust, redux
7 projects | reddit.com/r/rust | 10 Mar 2022