research
∙
02/06/2020
Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns
There is a semantic gap between the high-level intents of network operat...
share
research
∙
11/05/2019
Plankton: Scalable network configuration verification through model checking
Network configuration verification enables operators to ensure that the ...
research
∙
08/24/2019
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification
Network verification promises to detect errors, such as black holes and ...
research
∙
04/04/2018