79 citations · 264 across the 14 of their papers we have counts for
Showing 2019 · cs.PLShow all
2 papers · 2 filters
cs.PL2019
A Probabilistic Separation Logic
Gilles Barthe, Justin Hsu, Kevin Liao
Probabilistic independence is a useful concept for describing the result of random sampling---a basic operation in all probabilistic languages---and for reasoning about groups of r…
cs.PL2019★ 23 cited
Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, David M Kahn +4
This paper presents McNetKAT, a scalable tool for verifying probabilistic network programs. McNetKAT is based on a new semantics for the guarded and history-free fragment of Probab…