PARAM: A model checker for parametric Markov models
Symbolic and parametric model checking of discrete-time markov Chains