Open source repositories tagged with #model-checker, ranked by health score.
JMC - Java Model Checker
The Git repository for the mCRL2 toolset.
