David Parker
Reader, Computer Science, University of Birmingham
[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 ps.gz (346 KB)  pdf pdf (623 KB)  bib bib
Notes: GRIP is available from here.
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.