GRIP: Generic Representatives in PRISM

[DMP07] A. Donaldson, A. Miller and D. 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]

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.

QAV:

> Home

> People

> Projects

> Publications