Taylor's Library Banner
Image from Google Jackets

Systems and software verification : model-checking techniques and tools / B. Berard ... [et al.].

Contributor(s): Publication details: Berlin : Springer, c2001Description: xii, 190 p. : ill. ; 24 cmISBN:
  • 3540415238
Subject(s): DDC classification:
  • 005.14 SYS
Contents:
Pt. I. Principles and Techniques. - Introduction. 1. Automata. 2. Temporal Logic. 3. Model Checking. 4. Symbolic Model Checking. 5. Timed Automata. - Pt. II. Specifying With Temporal Logic. - Introduction. 6. Reachability Properties. 7. Safety Properties. 8. Liveness Properties. 9. Deadlock-freeness. 10. Fairness Properties. 11. Abstraction Methods. - Pt. III. Some Tools. 12. SMV - Symbolic Model Checking. 13. Spin - Communicating Automata. 14. Design/CPN - Coloured Petri Nets. 15. Uppaal - Timed Systems. 16. Kronos - Model Checking of Real-time Systems. 17. Hytech - Linear Hybrid Systems. - Main Bibliography. - Index.
No physical items for this record

Updated version of the French language edition : "Verification de logicals. Techniques et outils du model-checking", coordonne par Philippe Schnoebelen - Verso of t.p.

With 67 figures

Pt. I. Principles and Techniques. - Introduction. 1. Automata. 2. Temporal Logic. 3. Model Checking. 4. Symbolic Model Checking. 5. Timed Automata. - Pt. II. Specifying With Temporal Logic. - Introduction. 6. Reachability Properties. 7. Safety Properties. 8. Liveness Properties. 9. Deadlock-freeness. 10. Fairness Properties. 11. Abstraction Methods. - Pt. III. Some Tools. 12. SMV - Symbolic Model Checking. 13. Spin - Communicating Automata. 14. Design/CPN - Coloured Petri Nets. 15. Uppaal - Timed Systems. 16. Kronos - Model Checking of Real-time Systems. 17. Hytech - Linear Hybrid Systems. - Main Bibliography. - Index.