1 paper · 1 filter
Yuheng Su, Qiusong Yang, Yiwei Ci
The IC3 algorithm, also known as PDR, has made a significant impact in the field of safety model checking in recent years due to its high efficiency, scalability, and completeness.…