"Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009" - читать интересную книгу автора (Neil D. Jones, Markus Müller-Olm)