电脑体验，效果更佳

王志芳图谱-计算机领域：

相关人员

李兆鹏 王振明 华保健 葛琳 江苏苏州215123 陈意云

研究领域

携带证明的代码 验证条件 证明检查算法 类型系统 语言设计 证明检查器 指针程序 自动定理证明器 出具证明的编译器 指针分析 指针逻辑 Hoare逻辑 软件安全

所属机构

中国科学技术大学苏州研究院软件安全实验室 中国科学技术大学计算机科学技术系 中国科学技术大学计算机科学与技术系 江苏苏州

标签云