GRIP: generic representatives in PRISM

Donaldson, A.F., Miller, A. and Parker, D. (2007) GRIP: generic representatives in PRISM. In: Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), Edinburgh, UK, 17-19 Sep 2007. IEEE Computer Society: Los Alamitos, CA, USA, pp. 115-116. ISBN 9780769528830 (doi:10.1109/QEST.2007.30)

Full text not currently available from Enlighten.

Publisher's URL: http://dx.doi.org/10.1109/QEST.2007.30

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.

Item Type:Book Sections
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Miller, Dr Alice
Authors: Donaldson, A.F., Miller, A., and Parker, D.
College/School:College of Science and Engineering > School of Computing Science
Publisher:IEEE Computer Society
ISBN:9780769528830

University Staff: Request a correction | Enlighten Editors: Update this record