一个出具证明编译器原型系统的实现

• 作者: 刘诚 华保健 葛琳 陈意云
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 软件安全 出具证明编译器 验证条件 形式化证明方法 证明生成器
• 年，卷（期）: 2007,（21）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 99-102,114
• 页数: 5页
• 分类号: TP311
• 字数: 5753字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.21.031

摘要

出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术.论文介绍了一个出具证明编译器原型系统的实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈意云	中国科学技术大学计算机科学技术系	83	854	16.0	26.0
2	华保健	中国科学技术大学计算机科学技术系	17	116	6.0	10.0
3	刘诚	中国科学技术大学计算机科学技术系	31	296	8.0	17.0
4	葛琳	中国科学技术大学计算机科学技术系	10	83	6.0	9.0