Verification, model checking and abstract interpretation : proceedings - Jones, Neil D.; Müller-Olm, Markus (Lecture notes in computer science, 2009)