5466133
9783540697350
The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007, co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with 3 invited lectures and 3 invited tutorials were carefully reviewed and selected from a total of 85 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.Emerson, E. Allen is the author of 'Verification, Model Checking, and Abstract Interpretation ', published 2007 under ISBN 9783540697350 and ISBN 3540697357.
[read more]