Publication year: 2008
: 978-3-540-78163-9
The book feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.
: Computer Science, Constraint, Debugging, Simulation, abstract domains, abstract interpretation, abstraction, algorithms, formal methods, formal verification, optimization, program analysis, program semantics, programming, programming language, verification