Verification, Model Checking, and Abstract Interpretation
ISBN
9783662460818
Verification, Model Checking, and Abstract Interpretation est un computer programs, computer science book de Deepak D'Souza.
À propos de ce livre
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.
À propos de l'auteur
est l'auteur de Verification, Model Checking, and Abstract Interpretation. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Deepak D'Souza →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Verification, Model Checking, and Abstract Interpretation ?+
Verification, Model Checking, and Abstract Interpretation est un livre de Computer programs, Computer science, Computer Communication Networks, Software engineering, Logic design.
De quoi parle 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 a écrit Verification, Model Checking, and Abstract Interpretation ?+
Verification, Model Checking, and Abstract Interpretation a été écrit par Deepak D'Souza.