<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>9325</REFNUM><AUTHORS><AUTHOR>Power,C.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2010</YEAR><TITLE>An Approach to Probabilistic Symmetry Reduction</TITLE><PLACE_PUBLISHED>Proceedings of the Automated Reasoning Workshop 2010 (ARW'10)</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>32-33</PAGES><LABEL>Power:2010:9325</LABEL><KEYWORDS><KEYWORD>Model checking</KEYWORD></KEYWORDS<ABSTRACT>We present a technique for the automated detection of potential structural and data symmetries from a probabilistic specification language. This approach involves the construction of an extended static channel diagram, a graphical representation of channel-based communication and global variable accesses from a specicification defined in our custom made language SPS. This graph is used to compute potential symmetries whose validity is verified against the probabilistic specification. Unlike previous approaches this method can detect arbitrary structural and data symmetries.</ABSTRACT></RECORD></RECORDS></XML>