www.prismmodelchecker.org
[Kon14] Savas Konur. Towards Light-Weight Probabilistic Model Checking. Journal of Applied Mathematics. 2014. [Proposes a framework for non-experts to specify models and queries for probabilistic model checking, connecting to PRISM and other tools.]
Links: [Google] [Google Scholar]

Publications