Automated Extraction of Inductive Invariants to Aid Model Checking.

Michael L. Case, Alan Mishchenko, Robert K. Brayton

Browse the full FMCAD paper archive.