An introduction to practical formal methods using temporal logic
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...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Chichester, West Sussex, U.K.
Wiley
2011
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Table of Contents:
- Includes bibliographical references 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