model-checker topic
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
stateright
A model checker for implementing distributed systems.
storm
A Modern Probabilistic Model Checker
sally
A model checker for infinite-state systems.
mCRL2
The Git repository for the mCRL2 toolset.
SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
intrepid
Intrepyd Model Checker
dscheck
Experimental model checker for testing concurrent algorithms
momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
eldarica
The Eldarica model checker