momba topic

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

koehlma