|
|||||
|
|
| FORTRAN程序正确性的形式证明 | |
| 引用本文： | 宋国新,郑坚平,孙永强.FORTRAN程序正确性的形式证明[J].上海交通大学学报,1987(6). |
| 作者姓名： | 宋国新 郑坚平 孙永强 |
| 作者单位： | 上海交通大学计算机系，上海交通大学计算机系，上海交通大学计算机系 |
| 摘 要： | 本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。 |
| 关 键 词： | 程序的正确性 程序规范 路径 验证条件 |
Formal Proof of Correctness of Fortran Programs |
|
| Song Guoxin Zheng Jianping Sun Yongqiang.Formal Proof of Correctness of Fortran Programs[J].Journal of Shanghai Jiaotong University,1987(6). | |
| Authors: | Song Guoxin Zheng Jianping Sun Yongqiang |
| Institution: | Song Guoxin Zheng Jianping Sun Yongqiang |
| Abstract: | |
| Keywords: | program correctness program specification path verification condition |
| 本文献已被 CNKI 等数据库收录！ | |