A model checker for implementing distributed systems.
Concuerror is a stateless model checking tool for Erlang programs.
A Modern Probabilistic Model Checker
The Git repository for the mCRL2 toolset.
The Eldarica model checker
A model checker for infinite-state systems.
The LTSmin model checking toolset