deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Found another one: https://github.com/xldenis/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.
From Rust to SPARK: Formally Proven Bip-Buffers
1 project | reddit.com/r/rust | 6 May 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