|
[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
|
|
Notes:
GRIP is available from here.
|
|
Links:
[Google]
[Google Scholar]
|
|
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.
|