Checking Safety Properties Using Induction and a SAT-Solver.

Mary Sheeran, Satnam Singh, Gunnar Stlmarck

Browse the full FMCAD paper archive.