<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>8063</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2008</YEAR><TITLE>An automatic abstraction technique for verifying featured, parameterised systems</TITLE><PLACE_PUBLISHED>Theoretical Computer Science, Volume 404</PLACE_PUBLISHED><PUBLISHER>Elsevier Science</PUBLISHER><PAGES>235-255</PAGES><LABEL>Calder:2008:8063</LABEL><KEYWORDS><KEYWORD>Model checking</KEYWORD></KEYWORDS<ABSTRACT>A general technique combining model checking and abstraction is presented that allows property based analysis of systems consisting of an arbitrary number of featured components. We show how parameterised systems can be specified in a guarded command form with constraints placed on the variables which occur in guards. We prove that results that hold for a small number of components can be shown to scale up. We then show how featured systems can be specified in a similar way, by relaxing the constraints on the guards. The main result is a generalisation theorem for featured systems which we apply to two well known examples.</ABSTRACT></RECORD></RECORDS></XML>