[α1，α2]1-概率拟hoare逻辑及其可靠性证明

基于c.a.r.hoare提出的hoare逻辑,给出了[α1,α2]1-概率拟hoare逻辑,并证明了其可靠性。