"Computer Aided Verification, 20 conf., CAV 2008" - читать интересную книгу автора (Aarti Gupta, Sharad Malik)