Publication year: 2008
ISBN: 978-3-540-78163-9
Internet Resource: Please Login to download book
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.
Subject: Computer Science, Constraint, Debugging, Simulation, abstract domains, abstract interpretation, abstraction, algorithms, formal methods, formal verification, optimization, program analysis, program semantics, programming, programming language, verification