Skip to main content

Probabilistic NetKAT

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva

PDF DOI 10.1007/978-3-662-49498-1_12 dblp BibTeX

Abstract elided by the publisher.

Related papers

PλωNK: functional probabilistic NetKAT POPL 2020
Cantor meets scott: semantic foundations for probabilistic networks POPL 2017
Scalable verification of probabilistic networks PLDI 2019
NetKAT - A Formal System for the Verification of Networks APLAS 2014
Active Learning of Symbolic NetKAT Automata PLDI 2025
A Coalgebraic Decision Procedure for NetKAT POPL 2015
Network Change Validation with Relational NetKAT POPL 2026
Weighted NetKAT: A Programming Language for Quantitative Network Verification PLDI 2026