概率拟Hoare逻辑

摘要：

基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题.

关键词：Hoare逻辑、Hoare三元组、正确度、概率测度

所属期刊栏目：43

分类号：TP3-0(计算技术、计算机技术)

在线出版日期：2016-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：177-181,191