Systems and software verification :   model-checking techniques and tools / 
B. Berard ... [et al.] 
 - Berlin; New York:   Springer-Verlag,   2001 
 - xii, 190 p.:   ill.;   24 cm. 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>3540415238 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification<br/>Computer software--Verification