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…