Real-time verification of network properties using Atomic Predicates
Real Time Network Policy Checking using Header Space Analysis