1 citations · 1 across the 1 of their papers we have counts for
1 paper
John M. Li, Amal Ahmed, Steven Holtzen
We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures probabilistic independence. Inspired by an analogy with mutabl…