@misc{indiciaea03486665908,
  title = {The rIC3 Hardware Model Checker},
  author = {Yuheng Su and Qiusong Yang and Yiwei Ci and Tianjun Bu and Ziyu Huang},
  year = {2025},
  url = {https://arxiv.org/abs/2502.13605},
  note = {Source identifier: 2502.13605}
}