A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Momba: JANI Meets Python
2021
Zenodo
Preserved Fulltext
JANI is the natural foundation for a project like Momba. ...
In this paper, we present Momba, a flexible Python framework for dealing with formal models. ...
doi:10.5281/zenodo.5750802
fatcat:nyql3snfgvgtdksttfiao5o7nm