Cut-based inductive invariant computation (2008)

by M Case, A Mishchenko, R Brayton
Venue:International Workshop on Logic and Synthesis