Published August 3, 2024
| Version v0.6.12
Software
Open
koehlma/momba: Version 0.6.12
Authors/Creators
- 1. Saarland University
- 2. Bosch Research
- 3. University of Konstanz
Description
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
Files
koehlma/momba-v0.6.12.zip
Additional details
Related works
- Is supplement to
- Software: https://github.com/koehlma/momba/tree/v0.6.12 (URL)