David Parker
Professor of Computer Science, University of Birmingham
[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.
[ps.gz]
[pdf]
[bib]
[Tool paper describing PRISM 2.0.]
|
Downloads:
ps.gz (113 KB)
pdf (193 KB)
bib
|
|
Abstract.
This paper gives a brief overview of version 2.0 of
PRISM,
a tool for the automatic formal verification of probabilistic systems,
and some of the case studies to which it has already been applied.
|