A Python library for quantitative models.
Project description
Momba is still in its early stages of development. Please expect things to break. The API is unstable and might change without further notice and deprecation period.
Momba is a Python library for working with quantitative models. Momba’s core modeling formalism are networks of interacting stochastic hybrid automata (SHA) as per the JANI specification. Momba aims to be a platform for prototyping and the development of new techniques and algorithms for the analysis of quantitative models. For the time being, Momba does not aim to be a model checker itself. Instead, Momba relies on external tools for model checking via the JANI interaction protocol. In particular, Momba works well with The Modest Toolset and EPMC.
How to use Momba?
Please read the documentation.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for momba-0.1.4.dev0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1c5de1661f2f3df6e5dcb284665c7cd66d32089785a167d8b04bedc5d54f55c3 |
|
MD5 | d3551441276e43c8aeed7b9bbed56119 |
|
BLAKE2b-256 | ce9696eac82e915bec49c9217eb1c5c0a0707e2646cc69fd7014528654c2953d |