One tool to rule them all: a modular troubleshooting framework for SDN (and other) networks
Real Time Network Policy Checking using Header Space Analysis