An introduction to practical formal methods using temporal logic / by Michael Fisher.

By: Fisher, Michael, 1962-Material type: TextTextPublication 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.3
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Mathematics
511.3 FIS-A 2011 8981 (Browse shelf (Opens below)) Available 0008981
Books 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 Books Namal Library
Mathematics
511.3 FIS-A 2011 8984 (Browse shelf (Opens below)) Available 0008984
Total holds: 0

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.

to post a comment.