Keywords Probabilistic computation;Possibilistic computation;Refinement calculus;Predicate transformer;State transformer;Semantic model;

• 概率计算;可能性计算;精细演算;谓词转换器;状态转换器;语义模型;