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

Bibliographic record and links to related information available from the Library of Congress catalog

Information from electronic data provided by the publisher. May be incomplete or contain other coding.

Part I: Principles and Techniques: Introduction; 1. Automata; 2. Temporal Logic; 3. Model Checking; 4. Symbolic Model Checking; 5. Timed Automata; Conclusion. Part II: Specifying with Temporal Logic: Introduction; 6. Reachability Properties; 7. Safety Properties; 8. Liveness Properties; 9. Deadlock-freeness; 10. Fairness Properties; 11. Abstraction Methods; Conclusion. Part III: Some Tools: Introduction; 12. SMV - Symbolic Model Checking; 13. Spin - Communication 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.

Library of Congress subject headings for this publication:
Computer systems -- Verification.
Computer software -- Verification.