Title :
GRIP: Generic Representatives in PRISM
Author :
Donaldson, Alastair F. ; Miller, Alice ; Parker, David
Author_Institution :
Codeplay Software Ltd., Edinburgh
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.
Keywords :
formal verification; GRIP; PRISM; generic representatives; probabilistic model checker; symmetry reduction; Abstracts; Arithmetic; Computational modeling; Counting circuits; Data structures; Laboratories; Nominations and elections; Protocols; Reachability analysis;
Conference_Titel :
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location :
Edinburgh
Print_ISBN :
978-0-7695-2883-0
DOI :
10.1109/QEST.2007.30
