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, Professor 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