verus-lang / verus
Verified Rust for low-level systems code
☆1,364Updated this week
Alternatives and similar repositories for verus:
Users that are interested in verus are comparing it to the libraries listed below
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,607Updated this week
- Kani Rust Verifier☆2,408Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,218Updated this week
- Refinement Types for Rust☆697Updated this week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆487Updated this week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,367Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,942Updated 2 months ago
- 🔥 Time Travel Visual Debugger for Rust