mCRL2org / mCRL2
The Git repository for the mCRL2 toolset.
☆98Updated this week
Alternatives and similar repositories for mCRL2
Users that are interested in mCRL2 are comparing it to the libraries listed below
Sorting:
- ☆52Updated 2 weeks ago
- The LTSmin model checking toolset☆60Updated 6 months ago
- Definition of the Viper intermediate verification language.☆85Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆74Updated this week
- ☆37Updated this week
- microsat☆135Updated 2 years ago
- Modeling and Proving in Computational Type Theory☆96Updated this week
- A model checker for infinite-state systems.☆75Updated 4 months ago
- Concurrent decision diagram framework written in Rust☆61Updated last month
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆141Updated 6 months ago
- Implementation of multi-core (binary) decision diagrams☆73Updated 11 months ago
- Lem semantic definition language☆139Updated 2 months ago
- Communication between Coq and SAT/SMT solvers☆158Updated 7 months ago
- The DRAT-trim proof checker☆59Updated 5 months ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆28Updated last month
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆42Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 6 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆100Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆119Updated 2 months ago
- A work-in-progress language and compiler for verified low-level programming☆304Updated this week
- SAT Solver SATCH☆118Updated 2 years ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated 3 weeks ago
- A Library for Representing Recursive and Impure Programs in Coq☆218Updated 2 months ago
- ☆139Updated this week
- A best-first-search theorem prover implemented in Isabelle☆34Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- A Verified Compiler for Gallina, Written in Gallina☆149Updated 3 weeks ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆55Updated last year
- Frama-C and WP tutorial☆60Updated last month
- Randomized Property-Based Testing Plugin for Coq☆263Updated this week