VeriCon: towards verifying controller programs in software-defined networks
Real Time Network Policy Checking using Header Space Analysis