Principles of Model Checking
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties.\ This automated technique for...
Search in google:
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.
1 System Verification 12 Modelling Concurrent Systems 193 Linear-Time Properties 894 Regular Properties 1515 Linear Temporal Logic 2296 Computation Tree Logic 3137 Equivalences and Abstraction 4498 Partial Order Reduction 5959 Timed Automata 67310 Probabilistic Systems 745Appendix Preliminaries 909Bibliography 931Index 965
\ From the Publisher"This is an impressive piece of work....The book can be used as a kind of reference manual for the classical basis of model checking for lecturers, who will be able to select some parts in order to construct a coherent and complete lecture on automatic verification; and of course for students, who will find many explanations, motivations, examples, and proofs to help them discover this very active research area." François Laroussinie The Computer Journal\ \
![Advanced Windows Debugging [Addison-Wesley Microsoft Technology Series]](/application/data/covers/44/62/9780321374462.jpg "Advanced Windows Debugging [Addison-Wesley Microsoft Technology Series]")
