Leveraging Critical Proof Obligations for Efficient IC3 Verification.

Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai

Browse the full DAC paper archive.