DR AF T Probabilistic Model Checking : Advances and Applications
PARAM: A model checker for parametric Markov models