<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>8725</REFNUM><AUTHORS><AUTHOR>Donaldson,A.F.</AUTHOR><AUTHOR>Miller,A.</AUTHOR><AUTHOR>Parker,D.</AUTHOR></AUTHORS><YEAR>2007</YEAR><TITLE>GRIP: Generic Representatives in PRISM</TITLE><PLACE_PUBLISHED>Proceedings of the fourth International Conference on the Quantitative Evaluation of Systems (QEST'07)</PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><PAGES>115-116</PAGES><ISBN>076952883X</ISBN><LABEL>Donaldson:2007:8725</LABEL><KEYWORDS><KEYWORD>Symmetry reduction</KEYWORD></KEYWORDS<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.</ABSTRACT></RECORD></RECORDS></XML>