Flash: fast, consistent data plane verification for large-scale network settings.

Dong Guo, Shenshen Chen, Kai Gao, Qiao Xiang, Ying Zhang, Y. Richard Yang

Browse the full SIGCOMM paper archive.