41 citations · 74 across the 3 of their papers we have counts for
1 paper · 1 filter
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Real-time network verification promises to automatically detect violations of network-wide reachability invariants on the data plane. To be useful in practice, these violations nee…