momba-vm
| Crates.io | momba-vm |
| lib.rs | momba-vm |
| version | 0.1.0 |
| created_at | 2020-10-27 10:24:32.879029+00 |
| updated_at | 2020-10-27 10:24:32.879029+00 |
| description | A VM for Momba's compiled model representation. |
| homepage | |
| repository | https://github.com/koehlma/momba |
| max_upload_size | |
| id | 305953 |
| size | 2,113 |
Maximilian Köhl (koehlma)
documentation
https://docs.rs/clock-zones
README
momba-vm
A VM for Momba's compiled model representation (MombaCR). Momba is a Python framework for dealing with quantitative models centered around the JANI-model interchange format. For efficient state space exploration, Momba compiles JANI models into MombaCR which is then executed within a MombaCR VM. This library implements such a MombaCR VM.