Systems and Software Verification: Model-Checking Techniques and Tools - Softcover

Berard, B.; Bidoit, M.

Softcover

ISBN 10: 3662045591 ISBN 13: 9783662045596

Publisher: Springer, 2014

Synopsis

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.

Edition details

• Publisher: Springer
• Publication date: 2014
• Language: English
• ISBN 10: 3662045591
• ISBN 13: 9783662045596
• Binding: Paperback