Baier, Christel. <br/><br/>
Principles of Model Checking. 

 - 1st ed. 
 - 1 online resource (994 pages) 
 - The MIT Press Series .
 - The MIT Press Series .
<br/><br/>Intro -- Contents -- Foreword -- Preface -- Chapter 1 System Verification -- Chapter 2 Modelling Concurrent Systems -- Chapter 3 Linear-Time Properties -- Chapter 4 Regular Properties -- Chapter 5 Linear Temporal Logic -- Chapter 6 Computation Tree Logic -- Chapter 7 Equivalences and Abstraction -- Chapter 8 Partial Order Reduction -- Chapter 9 Timed Automata -- Chapter 10 Probabilistic Systems -- Appendix A Appendix: Preliminaries -- Bibliography -- Index. 
<br/><br/> A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. 
<br/><br/><label>ISBN: </label>9780262267564 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems -- Verification.<br/>Computer software -- Verification.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.76.V47B35 2008 
<br/><br/><label>Dewey Class. No.: </label>004.2/4