model-checking / kaniLinks
Kani Rust Verifier
☆2,557Updated this week
Alternatives and similar repositories for kani
Users that are interested in kani are comparing it to the libraries listed below
Sorting:
- Concurrency permutation testing tool for Rust.☆2,352Updated last month
- A static verifier for Rust, based on the Viper verification infrastructure.