Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks.

Hongyi Zeng, Shidong Zhang, Fei Ye, Vimalkumar Jeyakumar, Mickey Ju, Junda Liu, Nick McKeown, Amin Vahdat

Browse the full NSDI paper archive.