Rmc Alternatives

Similar projects and alternatives to rmc

kani

47 1,885 9.5 Rust rmc VS kani

Kani Rust Verifier
MIRAI

9 959 0.0 Rust rmc VS MIRAI

Rust mid-level IR Abstract Interpreter
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
prusti-dev

23 1,460 8.8 Rust rmc VS prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
seer

1 336 10.0 Rust rmc VS seer

symbolic execution engine for Rust (by dwrensha)
awesome-rust-formalized-reasoning

3 263 7.7 rmc VS 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.
crucible

2 593 9.4 Rust rmc VS crucible

Crucible is a library for symbolic simulation of imperative programs
lincheck

1 8 7.1 Rust rmc VS lincheck

A linearizability checker for concurrent data structures
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

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.

Suggest an alternative to rmc

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
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?