There is a newer version of the record available.

Published July 30, 2024 | Version v0.6.11
Software Open

koehlma/momba: Version 0.6.11

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.11.zip

Files (16.5 MB)

Name Size
md5:4519de9dae814d7665137a6669293f6d
16.5 MB Preview Download

Additional details

Related works

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