Publication year: 2007
: 978-3-540-69738-1
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 dvancement of hybrid methods that combine the three areas.
: Computer Science, Constraint, Java, abstarct interpretation, abstract domains, abstraction, algorithms, data structure, data structures, debugging techniques, deductive methods, formal verification, optimization, program invariants, programming, programming language