PMAF: an algebraic framework for static analysis of probabilistic programs

Automatically establishing that a probabilistic program satisfies some property ϕ is a challenging problem. While a sampling-based approach—which involves running the program repeatedly—can suggest...