PRISM 2.0: A Tool for Probabilistic Model Checking


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.

DOI: 10.1109/QEST.2004.10016

Extracted Key Phrases

1 Figure or Table


Citations per Year

166 Citations

Semantic Scholar estimates that this publication has 166 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Kwiatkowska2004PRISM2A, title={PRISM 2.0: A Tool for Probabilistic Model Checking}, author={Marta Z. Kwiatkowska and Gethin Norman and David Parker}, booktitle={QEST}, year={2004} }