Qualified C Programming
Special thanks to all team members and collaborating teachers and students for their contributions to QCP. This page summarizes the members and their main areas of work.
QCP 1.0 frontend language implementation, type inference, symbolic execution.
QCP 1.0 symbolic execution and tool soundness proof construction.
Customizable separation logic solver in QCP, QCP 2.0 symbolic execution.
Customizable separation logic solver in QCP, QCP 2.0 symbolic execution, QCP MCP.
QCP built-in solver, QCP Lean library.
Relational Hoare logic support in QCP.
Assertion handling in QCP.
QCP symbolic execution, soundness proof construction.
Separation logic base library, relational Hoare logic support in QCP.
QCP Lean library.
Assertion handling in QCP.
Separation logic base library.
QCP 2.0 symbolic execution.
QCP MCP.
QCP symbolic execution, relational Hoare logic support in QCP, QCP VSCode plugin.
QCP web frontend.
Special thanks to Prof. Naijun Zhan, Prof. Zhenjiang Hu, and Prof. Yu Yu for their guidance on QCP tools and applications, and to Qinshi Wang, Yibo Dong, Litao Zhou, Jianhang Qin, Zhongye Wang, Yazhou Tang, Yanning Chen, and Hanzhi Liu for their contributions in early project exploration.