Probabilistic Abstract Interpretation. - Patrick Cousot; Michael Monerau (ESOP, 2012)