9 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Mark Moeller, Jules Jacobs, Olivier Savary Belanger +5
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 result…