An introduction to practical formal methods using temporal logic / by Michael Fisher.
Material type: TextPublication details: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011Description: vii, 353 p. : ill. ; 26 cmISBN: 9780470027882 (hbk)Other title: Practical formal methods using temporal logicSubject(s): Temporal automata | MATHEMATICS -- Infinity | Logic, Symbolic and mathematicalDDC classification: 511.3Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Mathematics | 511.3 FIS-A 2011 8981 (Browse shelf (Opens below)) | Available | 0008981 | ||
Books | Namal Library Mathematics | 511.3 FIS-A 2011 8982 (Browse shelf (Opens below)) | Available | 0008982 | ||
Reference | Namal Library Reference | 511.3 FIS-A 2011 8983 (Browse shelf (Opens below)) | Not for loan | 0008983 | ||
Books | Namal Library Mathematics | 511.3 FIS-A 2011 8984 (Browse shelf (Opens below)) | Available | 0008984 |
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.
There are no comments on this title.