Similar projects and alternatives to rmc based on common topics and language
Kani Rust Verifier
Rust mid-level IR Abstract Interpreter
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
A static verifier for Rust, based on the Viper verification infrastructure.
symbolic execution engine for Rust (by dwrensha)
Crucible is a library for symbolic simulation of imperative programs
rmc reviews and mentions
Kani Rust Verifier – a bit-precise model-checker for Rust
7 projects | news.ycombinator.com | 23 Mar 2022
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?
model-checking/rmc is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of rmc is Rust.