TY  - RPRT
TI  - The rIC3 Hardware Model Checker
AU  - Yuheng Su
AU  - Qiusong Yang
AU  - Yiwei Ci
AU  - Tianjun Bu
AU  - Ziyu Huang
PY  - 2025
UR  - https://arxiv.org/abs/2502.13605
ID  - 2502.13605
ER  -