Probabilistic Symbolic Model Checker (PRISM)

Click http://www.cs.bham.ac.uk/~dxp/prism/ link to open resource.