μMarkov

A probabilistic model checker for verification of properties of stochastic systems modeled as discrete or continous time Markov chains (DTMC/CTMC).

References

Kwiatkowska, Marta, Gethin Norman, and David Parker. "Stochastic model checking." SFM. Vol. 7. 2007.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
example_models		example_models
README.md		README.md
ctmc.py		ctmc.py
dtmc.py		dtmc.py
formula.py		formula.py
markov_parser.py		markov_parser.py
requirements.txt		requirements.txt
uMarkov.py		uMarkov.py