GRIP: Generic Representatives in PRISM

200735 citationsJournal Article

Authors

Alastair F. Donaldson · Codeplay (United Kingdom)

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.

Topics & Keywords

Formal Methods in Verification Software Reliability and Analysis Research Software Testing and Debugging Techniques

Publication Details

Volume 4144, pp. 115-116

DOI: 10.1109/qest.2007.30

Field-Weighted Citation Impact: 3.64

Command Palette

GRIP: Generic Representatives in PRISM

Authors

Abstract

Topics & Keywords

Publication Details