A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs

Torben Amtoft, Anindya Banerjee

When proving the correctness of a method for slicing probabilistic programs, it was previously discovered by the authors that for a fixed point iteration to work one needs a non-st…