Professor of Computer Science, University of Birmingham
Marta Kwiatkowska, Gethin Norman and David 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.
[Tool paper describing PRISM 2.0.]
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.