A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
A Python library for quantitative models.
Intrepyd Model Checker