Sciweavers

Share
QEST
2007
IEEE
9 years 5 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
books