KATch: A Fast Symbolic Verifier for NetKAT

We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network data planes. Our results extend the techniques obtained in prior work on symbolic automata and provide a framework for building efficient and s...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2024-06, Vol.8 (PLDI), p.1905-1928, Article 224
Hauptverfasser:	Moeller, Mark, Jacobs, Jules, Belanger, Olivier Savary, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra
Format:	Artikel
Sprache:	eng
Schlagworte:	Formal languages and automata theory Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!