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.


Counter
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.