|
|||||
|
|
| 循环结构的形式化推导 | |
| 引用本文： | 李贤贞,吴茂念,杨,静.循环结构的形式化推导[J].微型机与应用,2014(5):82-83,86. |
| 作者姓名： | 李贤贞 吴茂念 杨 静 |
| 作者单位： | ;1.贵州大学计算机科学与信息学院;2.中国科学院国家天文台 |
| 摘 要： | 介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。 |
| 关 键 词： | 形式化方法 程序正确性 循环不变式 界函数 |
Formal derivation method of repetitive construct |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |