A Bunched Logic for Conditional Independence

Jialu Bao, Simon Docherty, Justin Hsu +1

Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence a…