#vm #model #compiled #representation #dealing #python #momba

yanked momba-vm

A VM for Momba's compiled model representation

0.1.0 Oct 27, 2020

#61 in #compiled

MIT license

43KB
895 lines

momba-vm

crate documentation

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.

Dependencies