Probabilistic Symbolic Model Checker (PRISM)

Click http://www.prismmodelchecker.org/ link to open resource.