"Computer Aided Verification, 6 conf., CAV '94" - читать интересную книгу автора (David L. Dill)