Boosting k-Induction with Continuously-Refined Invariants.

Dirk Beyer, Matthias Dangl, Philipp Wendler

Browse the full CAV paper archive.