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