Automatically Repairing Network Control Planes Using an Abstract Representation
Real Time Network Policy Checking using Header Space Analysis