Verification, Model Checking, and Abstract Interpretation
ISBN
9783662460818
Verification, Model Checking, and Abstract Interpretation is a computer programs, computer science book by Deepak D'Souza.
About this book
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.
About the Author
is the author of Verification, Model Checking, and Abstract Interpretation. Browse their full catalog on Booklogr.
Explore more books by Deepak D'Souza →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation is a Computer programs, Computer science, Computer Communication Networks, Software engineering, Logic design book.
What is Verification, Model Checking, and Abstract Interpretation about?+
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...
Who wrote Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation was written by Deepak D'Souza.