model-checker
Momba's state space exploration engine.
A Python library for quantitative models.
A formal model of the Racetrack benchmark.
Intrepyd Model Checker