Automatically verifying reachability and well-formedness in P4 Networks
Real Time Network Policy Checking using Header Space Analysis