There is a newer version of the record available.

Published April 6, 2021 | Version v0.3.5
Software Open

koehlma/momba: Version 0.3.5

Authors/Creators

  • 1. Saarland University

Description

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

Files

koehlma/momba-v0.3.5.zip

Files (16.4 MB)

Name Size Download all
md5:a3289e1a33da519ae4f2b4c8a2e2baa1
16.4 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/koehlma/momba/tree/v0.3.5 (URL)