An introduction to practical formal methods using temporal logic

Fisher, Michael. 1962-

An introduction to practical formal methods using temporal logic Practical formal methods using temporal logic / by Michael Fisher. - Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011. - vii, 353 p. : ill. ; 26 cm.

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.

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.

9780470027882 (hbk)

2010046372


Temporal automata.
MATHEMATICS -- Infinity.
Logic, Symbolic and mathematical.

511.3 / FIS-A 2011 8981