TY  - RPRT
TI  - KATch: A Fast Symbolic Verifier for NetKAT
AU  - Mark Moeller
AU  - Jules Jacobs
AU  - Olivier Savary Belanger
AU  - David Darais
AU  - Cole Schlesinger
AU  - Steffen Smolka
AU  - Nate Foster
AU  - Alexandra Silva
PY  - 2024
DO  - 10.1145/3656454
UR  - https://arxiv.org/abs/2404.04760
ID  - 2404.04760
ER  -