41 citations · 50 across the 6 of their papers we have counts for
1 paper · 1 filter
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…