Published November 25, 2022
| Version v0.6.7
Software
Open
koehlma/momba: Version 0.6.7
Description
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
Files
koehlma/momba-v0.6.7.zip
Files
(16.5 MB)
Name | Size | Download all |
---|---|---|
md5:6c0315eeed953b82fe198ed59a257945
|
16.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/koehlma/momba/tree/v0.6.7 (URL)