合成规则在程序正确性验证中的应用

• 作者: 薛栋梁
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 合成规则 程序正确性证明 初始断言 终结断言
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 教育时空
• 页码范围: 40-41
• 页数: 2页
• 分类号: TP
• 字数: 1435字
• 语种: 中文

摘要

本文将讨论用来证明程序正确性的一些概念和方法,把逻辑规则,证明技术以及算法的概念联系在一起,应用合成规则对程序验证领域给予了粗略的探讨.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛栋梁	南京师范大学泰州学院	2	5	1.0	2.0