|
|||||
|
|
| 程序正确性证明与动态特性 | |
| 引用本文： | 王卓,陈家文.程序正确性证明与动态特性[J].西北民族学院学报,1998(1). |
| 作者姓名： | 王卓 陈家文 |
| 作者单位： | 西北民族学院数学系 兰州(王卓)，兰州电机集团有限责任公司 730030(陈家文) |
| 摘 要： | 程序在多道程序系统中正确运行,取决于它的静态性和机子的动态特性。本文讨论程序正确性检测的可行性与局限性并重点讨论机子的动态特性检测方法,给出一些检测实便和方法。 |
| 关 键 词： | 程序正确性证明 死循环 死锁 |
| 本文献已被 CNKI 等数据库收录！ | |