koehlma / momba

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

https://momba.dev

Repository from Github https://github.comkoehlma/momba

koehlma/momba Stargazers