Title: Verification, Model Checking, and Abstract Interpretation
Subjects: Computer Programming, Computers, Computers - General Information, Computer Books: General, Logic Design, Programming - Software Development, Programming Languages - General, Computers / Logic Design, abstarct interpretation, abstract domains, abstraction, debugging techniques, deductive methods, formal methods, formal verification, higher-order languages, model checking, optimization, Computer Science, Operating Systems - General, Computer programs, Congresses, Verification