Mechanically Checking a Lemma Used in an Automatic Verification Tool.

Phillip J. Windley Jerry R. Burch

Published in: FMCAD (1996)

Keyphrases

information retrieval
user friendly
database
trade off
special case
probabilistic model
software tools