This volume contains the papers presented at VMCAI 2007: Verification, Model
Checking and Abstract Interpretation held January 14–16, 2007 in Nice. VMCAI
provides a forum for researchers from the communities of verification, model
checking, and abstract interpretation, facilitating interaction, cross-fertilization,
and advancement of hybrid methods that combine the three areas. This years
VMCAI was held in conjunction with POPL, allowing further cross-fertilization
between programming language research and the areas covered by VMCAI.
There were 85 submissions to VMCAI 2007. Each submission was reviewed by
at least three Program Committee members. The committee decided to accept
21 papers. The program also includes invited talks by Tom Reps, Moshe Vardi,
and Hongseok Yang and tutorials by Ken McMillan, Madhusudan Parthasarathy,
and Peter Revesz.
We would like to acknowledge the financial support from Microsoft Research
and Andrei Voronkov for assistance with the EasyChair conference system.