TY  - RPRT
TI  - C*: Unifying Programming and Verification in C
AU  - Yiyuan Cao
AU  - Jiayi Zhuang
AU  - Houjin Chen
AU  - Jinkai Fan
AU  - Wenbo Xu
AU  - Zhiyi Wang
AU  - Di Wang
AU  - Qinxiang Cao
AU  - Yingfei Xiong
AU  - Haiyan Zhao
AU  - Zhenjiang Hu
PY  - 2025
UR  - https://arxiv.org/abs/2504.02246
ID  - 2504.02246
ER  -