Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar. Plankton: Scalable network configuration verification through model checking. In Ranjita Bhagwan, George Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020. pages 953-967, USENIX Association, 2020. [doi]
@inproceedings{PrabhuCKGC20,
title = {Plankton: Scalable network configuration verification through model checking},
author = {Santhosh Prabhu and Kuan-Yen Chou and Ali Kheradmand and Brighten Godfrey and Matthew Caesar},
year = {2020},
url = {https://www.usenix.org/conference/nsdi20/presentation/prabhu},
researchr = {https://researchr.org/publication/PrabhuCKGC20},
cites = {0},
citedby = {0},
pages = {953-967},
booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020},
editor = {Ranjita Bhagwan and George Porter},
publisher = {USENIX Association},
}