<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>9170</REFNUM><AUTHORS><AUTHOR>Donaldson,A.F.</AUTHOR><AUTHOR>Miller,A.</AUTHOR><AUTHOR>Parker,D.</AUTHOR></AUTHORS><YEAR>2009</YEAR><TITLE>Language-level Symmetry Reduction for Probabilistic Model Checking</TITLE><PLACE_PUBLISHED>Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09)</PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><PAGES>289-298</PAGES><ISBN>978-0-7695-3808-2</ISBN><LABEL>Donaldson:2009:9170</LABEL><KEYWORDS><KEYWORD>Probabilistic model checking</KEYWORD></KEYWORDS<ABSTRACT>Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level translation of symmetric models to a reduced form, making it straightforward to combine with existing tools and implementations. These techniques have been proposed for both non-probabilistic and probabilistic model checking, but are currently difficult to apply to complex models due to prohibitive restrictions in the modelling language. We present a much richer language, which allows specification of probabilistic systems in a way that guarantees the applicability of the generic representatives technique, together with an extended translation algorithm, and demonstrate the effectiveness of our techniques on a large set of case studies.</ABSTRACT></RECORD></RECORDS></XML>