Verification, Model Checking, and Abstract Interpretation
ISBN
9783662460818
Verification, Model Checking, and Abstract Interpretation es un computer programs, computer science book de Deepak D'Souza.
Sobre este libro
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.
Sobre el Autor
es el autor de Verification, Model Checking, and Abstract Interpretation. Explora su catálogo completo en Booklogr.
Explora más libros de Deepak D'Souza →Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation es un libro de Computer programs, Computer science, Computer Communication Networks, Software engineering, Logic design.
¿De qué trata Verification, Model Checking, and Abstract Interpretation?+
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The pap...
¿Quién escribió Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation fue escrito por Deepak D'Souza.