TY  - BOOK
AU  - Fisher,Michael
TI  - An introduction to practical formal methods using temporal logic
SN  - 9780470027882 (hbk)
U1  - 511.3 
PY  - 2011///
CY  - Chichester, West Sussex, U.K., Hoboken, N.J.
PB  - Wiley
KW  - Temporal automata
KW  - MATHEMATICS -- Infinity
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. [321]-347) and index; Front Matter --
Introduction --
Temporal Logic --
Specification --
Deduction --
Model Checking --
Execution --
Selected Applications --
Summary --
Appendix A: Review of Classical Logic --
Appendix B: Solutions to Exercises --
References --
Index
N2  - This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.
ER  -