Systems and Software Verification: Model-Checking Techniques and Tools - Tapa blanda

Berard, B.; Bidoit, M.

 
9783662045596: Systems and Software Verification: Model-Checking Techniques and Tools
Tapa blanda
ISBN 10: 3662045591 ISBN 13: 9783662045596
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662045591
ISBN 13 
9783662045596
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3540415238 ISBN 13:  9783540415237
Editorial: Springer, 2001
Tapa dura