Description |
1 online resource (vii, 353 pages) : illustrations |
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. |
Bibliography |
Includes bibliographical references and index. |
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. |
Subject |
Temporal automata.
|
|
Logic, Symbolic and mathematical.
|
|
Automates temporels. |
|
Logique symbolique et mathématique. |
|
Logic, Symbolic and mathematical |
|
Temporal automata |
Added Title |
Practical formal methods using temporal logic |
Other Form: |
Print version: Fisher, Michael, 1962- Introduction to practical formal methods using temporal logic. Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011 9780470027882 (DLC) 2010046372 (OCoLC)690903915 |
ISBN |
9781119991472 (electronic bk.) |
|
1119991471 (electronic bk.) |
|
9781119991489 (electronic bk.) |
|
111999148X (electronic bk.) |
|
9780470027882 |
|
0470027886 |
|
9780470980118 (e-PDF) |
|
0470980117 (e-PDF) |
|
9780470980101 (o-Book) |
|
0470980109 (o-Book) |
|
9781119991465 (e-Pub) |
|
1119991463 (e-Pub) |
|
1283405342 |
|
9781283405348 |
Standard No. |
9786613405340 |
|