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
Files
(16.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:84e7a4f708293c4dd0bea8134302920f
|
16.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/koehlma/momba/tree/v0.6.12 (URL)