Sciweavers

Share
2 search results - page 1 / 1
» GRIP: Generic Representatives in PRISM
Sort
View
QEST
2007
IEEE
9 years 6 months ago
GRIP: Generic Representatives in PRISM
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 speciļ¬cations. 1 ...
Alastair F. Donaldson, Alice Miller, David Parker
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
9 years 3 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
books