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 |
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 |
---|---|
Physical Description: | vii, 353 pages illustrations |
ISBN: | 9781119991472 0470980109 1119991463 9781119991489 9780470980101 0470027886 111999148X 9780470027882 1119991471 9780470980118 0470980117 1283405342 9781119991465 |