What do you think?
Rate this book
Systems and Software Verification: Model-Checking Techniques and Tools
1. Automata.- 2. Temporal Logic.- 3. Model Checking.- 4. Symbolic Model Checking.- 5. Timed Automata.- 6. Reachability Properties.- 7. Safety Properties.- 8. Liveness Properties.- 9. Deadlock-freeness.- 10. Fairness Properties.- 11. Abstraction Methods.- 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.
208 pages, Paperback
First published January 1, 2001
7 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.