TY  - RPRT
TI  - A Fast Quantitative Analyzer for NetKAT
AU  - Thomas Lu
AU  - Qiancheng Fu
AU  - Kevin Batz
AU  - Oliver Bøving
AU  - Tiago Ferreira
AU  - Mark Moeller
AU  - Nate Foster
AU  - Alexandra Silva
PY  - 2026
UR  - https://arxiv.org/abs/2607.14420
ID  - 2607.14420
ER  -