The Git repository for the mCRL2 toolset.
-
Updated
May 25, 2024 - C++
The Git repository for the mCRL2 toolset.
A Modern Probabilistic Model Checker
Concuerror is a stateless model checking tool for Erlang programs.
The Eldarica model checker
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
A model checker for implementing distributed systems.
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
The LTSmin model checking toolset
Experimental model checker for testing concurrent algorithms
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
A static and dynamic analyzer for Brainfuck
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino
Fully verified model checker for realtime systems
Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.
To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."