Systems and Software Verification: Model-Checking Techniques and Tools - Couverture souple

Berard, B.; Bidoit, M.

 
9783662045596: Systems and Software Verification: Model-Checking Techniques and Tools
Couverture souple
ISBN 10 : 3662045591 ISBN 13 : 9783662045596
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662045591
ISBN 13 
9783662045596
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3540415238 ISBN 13 :  9783540415237
Editeur : Springer-Verlag Berlin and Heide..., 2001
Couverture rigide