Hoare三元组相关论文
基于C．A.R．Hoare提出的Hoare逻辑，给出了[α1，α2]1-概率拟Hoare逻辑，并证明了其可靠性。...
基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序（或软件）实际执行之间的差距,反映理论被程序......
