@misc{indiciaec2389c9a81a6,
  title = {QCP: A Practical Separation Logic-based C Program Verification Tool},
  author = {Xiwei Wu and Yueyang Feng and Xiaoyang Lu and Tianchuan Lin and Kan Liu and Zhiyi Wang and Shushu Wu and Lihan Xie and Chengxi Yang and Hongyi Zhong and Zihan Zhang and Juanru Li and Naijun Zhan and Zhenjiang Hu and Qinxiang Cao},
  year = {2026},
  url = {https://arxiv.org/abs/2505.12878},
  note = {Source identifier: 2505.12878}
}