"Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008" - читать интересную книгу автора (Francesco Logozzo, Doron A. Peled, Leonore D. Zuck)