[KNP04d]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.September 2004.
[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.
Site hosted at the Department of Computer Science, University of Oxford