245 followers
Boosting k-Induction with Continuously-Refined Invariants. - Dirk Beyer 0001, Matthias Dangl, Philipp Wendler http://t.co/bBAzEd5v1u
Boosting k-Induction with Continuously-Refined Invariants. - Dirk Beyer 0001, Matthias Dangl, Philipp Wendler http://t.co/bBAzEd5v1u