An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

Ukachukwu Ndukwu, Annabelle McIver

In this paper we revisit the well-known technique of predicate abstraction to characterise performance attributes of system models incorporating probability. We recast the theory u…