An introduction to practical formal methods using temporal logic /

• Main Author: Fisher, Michael, 1962-
• Format: eBook
• Language: English
• Published: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011.
• Subjects: Temporal automata.; Logic, Symbolic and mathematical.; MATHEMATICS > Infinity.; MATHEMATICS > Logic.; Electronic books.

Table of 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.