"Computer Aided Verification, 2 conf., CAV '90" - читать интересную книгу автора (Edmund M. Clarke, Robert P. Kurshan)