"Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003" - читать интересную книгу автора (Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay)