白哥乐 宫云战 雷植洲 石柱 周新蕾 李丹 张昱 缪峥红 郭宇 杨洪路 陈基雄 高文龄 田波 葛琳 陈意云 江苏苏州215123 蔡霞 谢琳 吕金和 李隆 王伟 华保健 梁红瑾 林春晓 李兆鹏 金茂顺 徐海银 林雪云 周舜华 王志芳

指针逻辑 Hoare逻辑 计算机保密 安全性测试与评估 静态分析 出具证明编译器 漏洞 审查程序 程序验证 出具证明的编译器 指针分析 新观念 失误 测试工具 安全性认证 软件生存周期 危险 安全测试 操作系统 安全防范 携带证明的代码 指针逻辑 类型系统 软件偏差分析 指针 HAZOP 软件评估 Hoare逻辑 垃圾收集 语言设计

指针逻辑 Hoare逻辑