model-checker topic
List
model-checker repositories
Concuerror
329
Stars
42
Forks
Watchers
Concuerror is a stateless model checking tool for Erlang programs.
stateright
1.5k
Stars
54
Forks
Watchers
A model checker for implementing distributed systems.
storm
124
Stars
73
Forks
Watchers
A Modern Probabilistic Model Checker
sally
69
Stars
12
Forks
Watchers
A model checker for infinite-state systems.
mCRL2
84
Stars
36
Forks
Watchers
The Git repository for the mCRL2 toolset.
SMPT
27
Stars
4
Forks
Watchers
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
intrepid
17
Stars
1
Forks
Watchers
Intrepyd Model Checker
dscheck
29
Stars
5
Forks
Watchers
Experimental model checker for testing concurrent algorithms
momba
18
Stars
3
Forks
Watchers
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
eldarica
76
Stars
21
Forks
Watchers
The Eldarica model checker