Leveraging SDN layering to systematically troubleshoot networks
Real Time Network Policy Checking using Header Space Analysis