41 citations · 74 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.NI2019★ 10 cited
Plankton: Scalable network configuration verification through model checking
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand +2
Network configuration verification enables operators to ensure that the network will behave as intended, prior to deployment of their configurations. Although techniques ranging fr…
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…