USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Plankton: Scalable network configuration verification through model checking
Submitted by jasmine@usenix.org on December 19, 2019 - 11:46 am
Title | Plankton: Scalable network configuration verification through model checking |
Publication Type | Conference Paper |
Year of Publication | 2020 |
Authors | Prabhu S, Chou KYen, Kheradmand A, Godfrey B, Caesar M |
Conference Name | 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) |
Date Published | 02/2020 |
Publisher | USENIX Association |
Conference Location | Santa Clara, CA |
ISBN Number | 978-1-939133-13-7 |
URL | https://www.usenix.org/conference/nsdi20/presentation/prabhu |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX