TY  - RPRT
TI  - QCP: A Practical Separation Logic-based C Program Verification Tool
AU  - Xiwei Wu
AU  - Yueyang Feng
AU  - Xiaoyang Lu
AU  - Tianchuan Lin
AU  - Kan Liu
AU  - Zhiyi Wang
AU  - Shushu Wu
AU  - Lihan Xie
AU  - Chengxi Yang
AU  - Hongyi Zhong
AU  - Zihan Zhang
AU  - Juanru Li
AU  - Naijun Zhan
AU  - Zhenjiang Hu
AU  - Qinxiang Cao
PY  - 2026
UR  - https://arxiv.org/abs/2505.12878
ID  - 2505.12878
ER  -