Publications

• DAC’25 Property-driven Parallel Symbolic Model Checking of LTL

  Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang

  62nd ACM/IEEE Design Automation Conference (DAC), 2025.

• DAC’24 Predicting Lemmas in Generalization of IC3

  Yuheng Su, Qiusong Yang, Yiwei Ci

  61st ACM/IEEE Design Automation Conference (DAC), 2024.