论文信息 - GRIP: Generic Representatives in PRISM

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 specifications.

Alastair F. Donaldson | David Parker | Alice Miller

[1] Thomas Wahl,et al. Efficient Reduction Techniques for Systems with Many Components , 2005, Electron. Notes Theor. Comput. Sci..

[2] Thomas Wahl,et al. On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking , 2003, CHARME.

[3] Alastair F. Donaldson,et al. Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives , 2006, ATVA.

[4] Marta Z. Kwiatkowska,et al. Symmetry Reduction for Probabilistic Model Checking , 2006, CAV.