Prophesy

Prophesy - Parametric Probabilistic Model Checking


Keywords
markov-chain, model-checking, parameters, research
License
GPL-3.0
Install
pip install Prophesy==2.0.1