A (probabilistic) model checking toolkit fully implemented in Python
Primary LanguagePythonMIT LicenseMIT
VNMC (Very Naive Model Checker) is simple model checker fully implemented in Python.