GRIP: Generic Representatives in PRISM

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.

[DMP07] Alastair Donaldson, Alice Miller and David Parker. GRIP: Generic Representatives in PRISM. In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07), pages 115-116, IEEE CS Press. September 2007. [ps.gz] [pdf] [bib] [Presents GRIP, a symmetry reduction tool for PRISM models.]

Downloads:

ps.gz (346 KB)

pdf (623 KB) $bib$ bib

Notes: GRIP is available from here.

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

Abstract. We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications.