|
|||||
|
|
| 利用状态变换的程序验证 | |
| 引用本文： | 刘清.利用状态变换的程序验证[J].南昌大学学报(理科版),1985,9(3):1. |
| 作者姓名： | 刘清 |
| 作者单位： | 江西大学计算机研究所； |
| 摘 要： | 本文试图把程序理解成一个定义在状态集上的状态函数。程序的执行过程等价于状态函数的求解过程。本文定义了程序语句的STP语义。在状态函数的意义下,证明了关于程序部分正确定理。最后,用实例说明了使用STP验证程序正确的可能性。 |
| 关 键 词： | 求解过程 状态变换 机器状态 状态集 初始状态 给定程序 状态函数 表示法 当前状态 合取项 |
| 点击此处可从《南昌大学学报(理科版)》浏览原始摘要信息 | |
| 点击此处可从《南昌大学学报(理科版)》下载免费的PDF全文 | |