PARAM: A model checker for parametric Markov models
Probabilistic reachability for parametric Markov models