Plankton: Scalable network configuration verification through model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Santhosh Prabhu' in GoogleThis author has not been identified. Look up 'Kuan-Yen Chou' in GoogleThis author has not been identified. Look up 'Ali Kheradmand' in GoogleThis author has not been identified. Look up 'Brighten Godfrey' in GoogleThis author has not been identified. Look up 'Matthew Caesar' in Google

runs on WebDSL