TY  - BOOK
AU  - Berard,Beatrice
TI  - Systems and software verification: model-checking techniques and tools 
SN  - 3540415238
U1  - 005.14 
PY  - 2001///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Verification
KW  - Computer systems
N1  - 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
ER  -