Probabilistic Program Equivalence for NetKAT

arXiv: Programming Languages, 2017.

Cited by: 0|Bibtex|Views30
Other Links: academic.microsoft.com|arxiv.org

Abstract:

We tackle the problem of deciding whether two probabilistic programs are equivalent in Probabilistic NetKAT, a formal language for specifying and reasoning about the behavior of packet-switched networks. We show that the problem is decidable for the history-free fragment of the language by developing an effective decision procedure based ...More

Code:

Data:

Your rating :
0

 

Tags
Comments