Self-Consistency Checking.

Robert B. Jones, Carl-Johan H. Seger, David L. Dill

Browse the full FMCAD paper archive.