Ymer: A statistical model checker
A Markov Chain Model Checker