lincheck
rmc
lincheck | rmc | |
---|---|---|
1 | 1 | |
8 | 195 | |
- | - | |
7.1 | 10.0 | |
10 months ago | about 2 years ago | |
Rust | Rust | |
MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lincheck
rmc
-
Kani Rust Verifier – a bit-precise model-checker for Rust
Looks like that the project has changed its name from "rmc" (Rust Model Checker) to this. Various sources point to rmc as https://github.com/model-checking/rmc (redirected to https://github.com/model-checking/kani) and https://model-checking.github.io/rmc/ (404). Anyone knows why?
What are some alternatives?
sled - the champagne of beta embedded databases
kani - Kani Rust Verifier
crossbeam - Tools for concurrent programming in Rust
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
left-right - A lock-free, read-optimized, concurrency primitive.
MIRAI - Rust mid-level IR Abstract Interpreter
seer - symbolic execution engine for Rust
cargo-check-deadlock - Find deadlocks in Rust code with Petri net model checking
crucible - Crucible is a library for symbolic simulation of imperative programs
awesome-rust-formalized-reasoning - An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.