Property-directed k-induction.

Dejan Jovanovic, Bruno Dutertre

Browse the full FMCAD paper archive.