Verification, Model Checking, and Abstract Interpretation
Publication year: 2007
ISBN: 978-3-540-69738-1
Internet Resource: Please Login to download book
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.
Subject: 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
