Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane.

Hongkun Yang, Simon S. Lam

Browse the full ICNP paper archive.