An assertion language for debugging SDN applications
Real Time Network Policy Checking using Header Space Analysis