Checking safety properties using induction and a SAT-solver (2000)

by M Sheeran, S Singh, G Stalmarck
Venue:In FMCAD