31 citations · 33 across the 4 of their papers we have counts for
1 paper · 1 filter
Alan Tang, Ryan Beckett, Steven Benaloh +4
Current network control plane verification tools cannot scale to large networks, because of the complexity of jointly reasoning about the behaviors of all nodes in the network. In…