NetKAT - A Formal System for the Verification of Networks
No abstract available.
Related papers
- Temporal NetKAT PLDI 2016
- Weighted NetKAT: A Programming Language for Quantitative Network Verification PLDI 2026
- KATch: A Fast Symbolic Verifier for NetKAT PLDI 2024
- A fast compiler for NetKAT ICFP 2015
- Network Change Validation with Relational NetKAT POPL 2026
- NetkAT: semantic foundations for networks POPL 2014
- Active Learning of Symbolic NetKAT Automata PLDI 2025
- PλωNK: functional probabilistic NetKAT POPL 2020