An Assertion-Based Program Logic for Probabilistic Programs.

Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub

Browse the full ESOP paper archive.