VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables

Garegin Grigoryan, Yaoqing Liu, Michael Leczinsky +1

Due to network practices such as traffic engineering and multi-homing, the number of routes---also known as IP prefixes---in the global forwarding tables has been increasing signif…