Searching for i-Good Lemmas to Accelerate Safety Model Checking.

Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu

Browse the full CAV paper archive.