PSI: Exact Symbolic Inference for Probabilistic Programs.

Timon Gehr, Sasa Misailovic, Martin T. Vechev

Browse the full CAV paper archive.