GRIP: Generic representatives in PRISM

Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007

Volumn , Issue , 2007, Pages 115-116

  Donaldson, Alastair F ^a   Miller, Alice ^b   Parker, David ^c  

^a Codeplay Software Ltd ^*  (United Kingdom)

^b UNIVERSITY OF GLASGOW   (United Kingdom)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PROBABILISTIC MODELS; SYMMETRY REDUCTIONS;

PATIENT MONITORING; PRISMS;

MODEL CHECKING;

EID: 47949089044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2007.23     Document Type: Conference Paper

References (6)

1. A. F. Donaldson and A. Miller. Symmetry reduction for probabilistic model checking using generic representatives. In ATVA'06, LNCS 4218, pp. 9-23. Springer, 2006.
2. E. A. Emerson and T. Wahl. On combining symmetry reduction and symbolic representation for efficient model checking. In CHARME'03, LNCS 2860, pp. 216-230. Springer, 2003.
3. E. A. Emerson and T. Wahl. Efficient reduction techniques for systems with many components. ENTCS 130:379-399.
4. GRIP website: www.prismmodelchecker.org/grip
5. M. Kwiatkowska, G. Norman, and D. Parker. Symmetry reduction for probabilistic model checking. In CAV'06, LNCS 4144, pp. 234-248. Springer, 2006.
6. PRISM website: www.prismmodelchecker.org