[KNP04d]M. Kwiatkowska, G. Norman and D. Parker.PRISM 2.0: A Tool for Probabilistic Model Checking.In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 322-323, IEEE CS Press.September 2004.
This paper gives a brief overview of version 2.0 of
a tool for the automatic formal verification of probabilistic systems,
and some of the case studies to which it has already been applied.