The Git repository for the mCRL2 toolset.
☆118Nov 6, 2026Updated this week
Alternatives and similar repositories for mCRL2
Users that are interested in mCRL2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Concurrent decision diagram framework written in Rust☆99Oct 30, 2026Updated last week
- Oink, an implementation of modern parity game solvers☆36Jun 28, 2026Updated 4 months ago
- The LTSmin model checking toolset☆67Oct 31, 2024Updated 2 years ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- The Cubicle model checker☆14May 29, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆37Jan 10, 2026Updated 9 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆45Jan 19, 2023Updated 3 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆12Updated this week
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- TriCera: a model checker for C programs☆28Oct 22, 2026Updated 2 weeks ago
- ☆23Jun 12, 2023Updated 3 years ago
- Solver for Constrained Horn Clauses☆52Updated this week
- A Modern Probabilistic Model Checker☆177Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LTL2PDDL tool☆15Jul 7, 2017Updated 9 years ago
- Implementation of multi-core (binary) decision diagrams☆91Updated this week
- Sokoban (in Coq) [maintainer=@erikmd]☆25Jan 3, 2025Updated last year
- JaTyC: a typestate checker for Java☆21Sep 3, 2025Updated last year
- VoxLogicA: the "Voxel-based Logical Analyser", is an interpreter of a declarative language, inspired by spatial logics, to analyse images…☆19Sep 17, 2026Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆115Oct 30, 2026Updated last week
- Repository of benchmarks for SYNTCOMP☆17Updated this week
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Sep 30, 2026Updated last month
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- TChecker is an open-source verification tool for timed automata☆30Dec 9, 2025Updated 10 months ago
- A tool for solving the satisfiability and validity problems for modal fixpoint logics.☆11Oct 11, 2025Updated last year
- BDI agent codes for autonomous vehicle platooning☆10Aug 29, 2018Updated 8 years ago
- ☆17Oct 16, 2018Updated 8 years ago
- Visualization for Dynamic Fault Trees☆16Oct 23, 2025Updated last year
- Gate-Level Simulation on a GPU☆10Nov 22, 2016Updated 9 years ago
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 3 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆23Jun 26, 2026Updated 4 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆45Sep 4, 2013Updated 13 years ago
- Collection of Automated Reasoners☆39Oct 14, 2026Updated 3 weeks ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago
- differential☆12Oct 30, 2019Updated 7 years ago