This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.
| ISBN: | 9783540781622 |
| Publication date: | 26th February 2008 |
| Author: | Francesco Logozzo, Doron A Peled, Leonore D Zuck |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 325 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Paperback. Not Available.
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues was written by Francesco Logozzo, Doron A Peled, Leonore D Zuck and published by Springer an imprint of Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues has 325 pages
Yes it is part of Lecture Notes in Computer Science series