41 citations · 73 across the 5 of their papers we have counts for
Showing cs.NIShow all
2 papers · 1 filter
cs.NI2019
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Network verification promises to detect errors, such as black holes and forwarding loops, by logically analyzing the control or data plane. To do so efficiently, the state-of-the-a…
cs.NI2017★ 41 cited
Delta-net: Real-time Network Verification Using Atoms
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…