Open source repositories tagged with #model-checking, ranked by health score.
The P programming language.