DocumentCode
3464591
Title
GRIP: Generic Representatives in PRISM
Author
Donaldson, Alastair F. ; Miller, Alice ; Parker, David
Author_Institution
Codeplay Software Ltd., Edinburgh
fYear
2007
fDate
17-19 Sept. 2007
Firstpage
115
Lastpage
116
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location
Edinburgh
Print_ISBN
978-0-7695-2883-0
Type
conf
DOI
10.1109/QEST.2007.30
Filename
4338246
Link To Document