Hongkun Yang, Simon S. Lam. Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane. In 22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014. pages 320-331, IEEE Computer Society, 2014. [doi]
Abstract is missing.