PRISM 2.0: A Tool for Probabilistic Model Checking

David Parker

Lecturer
School of Computer Science
University of Birmingham
Edgbaston, Birmingham, B15 2TT

Email: d.a.parker@cs.bham.ac.uk
Tel: +44 (0) 121 41 47264
Office: 107
Office hours: Wed 12.30-1.30, Thu 3-4

<< NEWS >>

Postdoc position at Birmingham on "Automated Game-Theoretic Verification of Security Systems". Applications close 4 Sep 2013.

[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$ bib

Links: [Google] [Google Scholar] [CiteSeer]

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.