<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6417</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2002</YEAR><TITLE>Five ways to use induction and symmetry in the verification of networks of processes by model-checking</TITLE><PLACE_PUBLISHED>Proceedings of AvoCS 2002 (Automated Verification of Critical Systems), University of Birmingham School of Computer Science Technical Report CSR-02-6 </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>29-42</PAGES><LABEL>Calder:2002:6417</LABEL><KEYWORDS><KEYWORD>networks of communicating processes; model checking; induction; symmetry.</KEYWORD></KEYWORDS<ABSTRACT>The verification of networks of processes by model-checking is discussed. Five classes of problem in which either symmetry or induction (or both) can be used to solve problems of state-space explosion, case explosion, or generalisation are considered. Examples are given. Recent results in the field are discussed in relation to the proposed classification. </ABSTRACT></RECORD></RECORDS></XML>