#

momba

Here is 1 public repository matching this topic...

koehlma / momba

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

python models formal-methods model-checker momba jani-models quantitative-models

Updated Aug 3, 2024
PDDL

Improve this page

Add a description, image, and links to the momba topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the momba topic, visit your repo's landing page and select "manage topics."