Network Verification in the Light of Program Verification
Real Time Network Policy Checking using Header Space Analysis