Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings: 7976 (Theoretical Computer Science and General Issues) - Tapa blanda

 
9783642391750: Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings: 7976 (Theoretical Computer Science and General Issues)
Tapa blanda
ISBN 10: 3642391753 ISBN 13: 9783642391750
Editorial: Springer, 2013

Sinopsis

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

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

Reseña del editor

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2013
Idioma
Inglés
ISBN 10 
3642391753
ISBN 13 
9783642391750
Encuadernación
Tapa blanda
Número de páginas
388
Editor
Bartocci Ezio, Ramakrishnan C. R.
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania

Otras ediciones populares con el mismo título

9783642391774: Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Edición Destacada

ISBN 10:  364239177X ISBN 13:  9783642391774
Editorial: Springer, 2013
Tapa blanda