%0 Journal Article
%T [α1，α2]1-概率拟hoare逻辑及其可靠性证明
%A 吴新星？
%A 胡国胜？
%A 陈仪香？
%J 计算机科学
%D 2015
%X 基于c.a.r.hoare提出的hoare逻辑,给出了[α1,α2]1-概率拟hoare逻辑,并证明了其可靠性。
%K hoare逻辑
%K hoare三元组
%K 正确度
%K 概率测度
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=201511A023&flag=1