Giannarakis, N; Silva, A; Walker, D; (2021) ProbNV: probabilistic verification of network control planes. In: Proceedings of the ACM on Programming Languages (PACMPL). (pp. 90.1-90.30). Association for Computing Machinery (ACM): New York, NY, United States.