prophesy (pypi): Prophesy - Parametric Probabilistic Model Checking
Keywords: markov-chain|model-checking|parameters|research