"Verification, Model Checking, and Abstract Interpretation, 7 conf., VMCAI 2006" - читать интересную книгу автора (E. Allen Emerson, Kedar S. Namjoshi)