Probabilistic Model of Software Approximate Correctness

正确性是软件的一个关键属性。Parameterized bisimulation 提供一种抽象描述在环境下面验证软件的正确性。处于真实世界状况，许多软件包含一些概率的信息。在这份报纸，我们集中于 parameterized bisimulation 的概率的构造。第一，我们扩大 parameterized bisimulation 到概率的 parameterized bisimulation。第二，软件的近似正确性的一个量的模型被建议。最后，有各种各样的 combinators 的量的模型的 subsititutivity 法律被证明。