程序正确性验证中循环不变式建立方法研究

摘要：

本文研究了计算机软件系统中程序正确性验证系统的瓶颈技术,就是如何建立合适的循环不变式,文章提出了四种建立循环不变式的方法.

关键词： 软件系统 程序逻辑 程序正确性验证 循环不变式

作者: 李刚 吾守尔·斯拉木

作者单位: 新疆大学信息科学与工程学院(新疆乌鲁木齐)

会议类型: 国内会议

会议名称: 2003年全国理论计算机科学学术年会

会议地点: 青岛

会议语种:中文

页码: 357-357

在线出版日期: 2003-08-01（万方平台首次上网日期，不代表论文的发表时间）