Rmc Alternatives
Similar projects and alternatives to rmc based on common topics and language
-
-
-
InfluxDB
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.
-
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.
-
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better rmc alternative or higher similarity.
rmc reviews and mentions
Posts with mentions or reviews of rmc.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-23.
-
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?
Stats
Basic rmc repo stats
1
195
10.0
about 1 year ago
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.
Popular Comparisons
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
www.sonarlint.org