QCP: A Practical Separation Logic-Based C Program Verification Tool

Lecture notes in computer science 2026 Open access

Read full text
Authors: Xi Wu, Yueyang Feng, Xiaoyang Lu, T.F. Lin, K.X. Liu, Zhiyi Wang, S. M. Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Naijun Zhan, Juanru Li
+3 more Naijun Zhan, Zhenjiang Hu, Qinxiang Cao
DOI: 10.1007/978-3-032-30693-7_10
Cited by: 1
References: 24

Fields of Study & Subjects

Security and Verification in Computing Logic programming and type systems Formal Methods in Verification

Publication details

Journal / source
Lecture notes in computer science
Publisher
Springer Nature Switzerland
Pages
157–173
Publication date
2 July 2026
Language
EN