|
|||||
|
|
| [α1，α2]1-概率拟Hoare逻辑及其可靠性证明 | |
| 作者姓名： | 吴新星 胡国胜 陈仪香 |
| 作者单位： | 上海电子信息职业技术学院计算机应用系 上海201411,上海电子信息职业技术学院计算机应用系 上海201411,华东师范大学教育部软硬件协同设计技术与应用工程研究中心 上海200062 |
| 摘 要： | 基于C.A.R.Hoare提出的Hoare逻辑,给出了[α1,α2]1-概率拟Hoare逻辑,并证明了其可靠性。 |
| 关 键 词： | Hoare逻辑 Hoare三元组 正确度 概率测度 |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |
