rmc
lincheck
rmc | lincheck | |
---|---|---|
1 | 1 | |
195 | 8 | |
- | - | |
10.0 | 7.1 | |
about 2 years ago | 9 months ago | |
Rust | Rust | |
GNU General Public License v3.0 or later | MIT License |
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.
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?
lincheck
What are some alternatives?
kani - Kani Rust Verifier
sled - the champagne of beta embedded databases
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
crossbeam - Tools for concurrent programming in Rust
MIRAI - Rust mid-level IR Abstract Interpreter
left-right - A lock-free, read-optimized, concurrency primitive.
seer - symbolic execution engine for Rust
crucible - Crucible is a library for symbolic simulation of imperative programs
cargo-check-deadlock - Find deadlocks in Rust code with Petri net model checking
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.