Automatically verifying reachability and well-formedness in P4 Networks
P4: programming protocol-independent packet processors