Taylor's Library

Normal view MARC view ISBD view

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

Contributor(s): Berard, Beatrice.
Publisher: Berlin : Springer, c2001Description: xii, 190 p. : ill. ; 24 cm.ISBN: 3540415238.Subject(s): Computer software -- Verification | Computer systems -- VerificationDDC classification: 005.14
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.
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Main Collection TU External Storage-LCS
005.14 SYS (Browse shelf) 1 Available SOCIT,15008,03,GR 1000116742 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

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.