"Computer Aided Verification, 11 conf., CAV '99" - читать интересную книгу автора (Nicolas Halbwachs, Doron Peled)