|
|||||
|
|
| 基于时态逻辑演算的程序验证 | |
| 引用本文： | 刘清.基于时态逻辑演算的程序验证[J].南昌大学学报(理科版),1990,14(3):1. |
| 作者姓名： | 刘清 |
| 作者单位： | 江西大学计算机科学系； |
| 摘 要： | 本文建立了时态逻辑演算。在该演算系统下,若能证明一程序抽象成的时态逻辑公式是定理,则该程序是完全正确的。 |
| 关 键 词： | 良结构 时态逻辑 不变式 演绎 |
| 点击此处可从《南昌大学学报(理科版)》浏览原始摘要信息 | |
| 点击此处可从《南昌大学学报(理科版)》下载免费的PDF全文 | |
|
||||||||||||||||||||||||||
|
||||||||||||||||||||||||||
|
||||||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |