The rIC3 Hardware Model Checker.

Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang

Browse the full CAV paper archive.