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

Presented at NSDI 2014 by

Amin Vahdat

Nick Mckeown

Hongyi Zeng

Junda Liu

Vimalkumar Jeyakumar

Shidong Zhang

Fei Ye

Mickey Ju