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