Skip to main content

A Python library for quantitative models.

Project description


PyPi Package Basic Checks Tests Docs Code Style: Black

Momba is a Python framework for dealing with quantitative models centered around the JANI-model interchange format. Momba strives to deliver an integrated and intuitive experience to aid the process of model construction, validation, and analysis. It provides convenience functions for the modular constructions of models effectively turning Python into a syntax-aware macro language for quantitative models. Momba's built-in simulator allows gaining confidence in a model, for instance, by rapidly prototyping a tool for interactive model exploration and visualization, or by connecting it to a testing framework. Finally, thanks to the JANI-model interchange format, several state-of-the-art model checkers and other tools are readily available for analysis.


  • first-class import and export of JANI models
  • syntax-aware macros for the modular constructions of models with Python code
  • built-in simulator for PTAs, MDPs and other model types
  • interfaces to state-of-the-art model checkers, e.g., The Modest Toolset and Storm
  • pythonic and statically typed APIs to thinker with formal models

Getting Started

Momba is available from the Python Package Index:

pip install momba

Check out the examples or read the documentation to learn how to use Momba.


The idea to harvest a general purpose programming environment for formal modelling is not new at all. For instance, the SVL language combines the power of process algebraic modelling with the power of the bourne shell. Many formal modelling tools also already provide Python bindings, e.g., Storm and Spot. Momba tries not to be yet another incarnation of these ideas. While the construction of formal models clearly is an integral part of Momba, Momba is more than just a framework for constructing models with the help of Python. Most importantly, it also provides features to work with these models such as a simulator or an interface to different model checking tools. At the same time, it is not just a binding to an API developed for another language, like C++. Momba is tool-agnostic and aims to provide a pythonic interface for dealing with formal models while leveraging existing tools. Momba covers the whole process from model creation through validation to analysis. To this end, it is centered around the well-entrenched JANI-model interchange format.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for momba, version 0.2.2
Filename, size File type Python version Upload date Hashes
Filename, size momba-0.2.2-py3-none-any.whl (64.3 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size momba-0.2.2.tar.gz (49.2 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page