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 (NSDI, 2014)