83 citations · 175 across the 14 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…