K-induction without unrolling.

Arie Gurfinkel, Alexander Ivrii

Browse the full FMCAD paper archive.