Plankton: Scalable network configuration verification through model checking.

Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar

Browse the full NSDI paper archive.