TY  - RPRT
TI  - BTOR2-Based C Program Verification via Hardware Model Checking
AU  - Xinyu Zhang
AU  - Runxuan Fang
AU  - Ziqun Bao
AU  - Yechuan Xia
AU  - Jianwen Li
AU  - Geguang Pu
PY  - 2026
UR  - https://arxiv.org/abs/2607.17622
ID  - 2607.17622
ER  -