An introduction to practical formal methods using temporal logic /

• Κύριος συγγραφέας: Fisher, Michael, 1962-
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011.
• Θέματα: Temporal automata.; Logic, Symbolic and mathematical.; MATHEMATICS > Infinity.; MATHEMATICS > Logic.; Electronic books.

Πίνακας περιεχομένων:

• 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.