NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool. - Xiwei Wu; Yueyang Feng; Xiaoyang Lu; Tianchuan Lin; Kan Liu; Zhiyi Wang; Shushu Wu; Lihan Xie; Chengxi Yang; Hongyi Zhong; Naijun Zhan; Zhenjiang Hu; et al. (CoRR, 2025)