Verification, Model Checking, and Abstract Interpretation
ISBN
9783662460818
Verification, Model Checking, and Abstract Interpretation è un computer programs, computer science book di Deepak D'Souza.
Informazioni su questo 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.
Sull'Autore
è l'autore di Verification, Model Checking, and Abstract Interpretation. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Deepak D'Souza →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation è un libro di Computer programs, Computer science, Computer Communication Networks, Software engineering, Logic design.
Di cosa parla 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...
Chi ha scritto Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation è stato scritto da Deepak D'Souza.