"Computer Aided Verification, 17 conf., CAV 2005" - читать интересную книгу автора (Kousha Etessami, Sriram K. Rajamani)