<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7905</REFNUM><AUTHORS><AUTHOR>Donaldson,A.F.</AUTHOR></AUTHORS><YEAR>2005</YEAR><TITLE>Automatic Symmetry Detection Techniques for Model Checking</TITLE><PLACE_PUBLISHED>Proceedings of Postgraduate Research Conference in Electronics, Photonics, Communications & Networks, and Computing Science (PREP'05), Lancaster </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>138-139</PAGES><LABEL>Donaldson:2005:7905</LABEL><KEYWORDS><KEYWORD>Symmetry</KEYWORD></KEYWORDS<ABSTRACT>A technique and tool is described, which allows automatic detection of symmetry in models of distributed systems written in Promela, a widely used modelling language. </ABSTRACT></RECORD></RECORDS></XML>