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 reader a firm basis on which to progress further.

• | By (Author): M Fisher (Author)
• | Publisher: John Wiley & Sons Inc
• | Publication Date: Apr 18, 2011
• | Country of Publication: United States
• | Number of Pages: 360 pages
• | Language: NULL
• | Binding: Hardback
• | ISBN-10: 0470027886
• | ISBN-13: 9780470027882