www.prismmodelchecker.org
[VK12] Mahsa Varshosaz and Ramtin Khosravi. Modeling and Verification of Probabilistic Actor Systems Using pRebeca. In Proc. 14th International Conference on Formal Engineering Methods, Formal Methods and Software Engineering (ICFEM'12), volume 7635 of LNCS, Springer. 2012. [Uses PRISM to analyse systems described in a probabilistic actor-based modelling language called pRebeca.]
Notes: The original publication is available at www.springerlink.com.

Publications