NV: an intermediate language for verification of network control planes-Reference-Cited by-同舟云学术

NV: an intermediate language for verification of network control planes

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Giannarakis Nick¹,Loehr Devon¹,Beckett Ryan²,Walker David¹

Affiliation:

1. Princeton University, USA

2. Microsoft Research, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3385412.3386019

Reference69 articles.

1. Mohammad Al-Fares Alexander Loukissas and Amin Vahdat. 2008. Mohammad Al-Fares Alexander Loukissas and Amin Vahdat. 2008.

2. A Scalable Commodity Data Center Network Architecture. In SIGCOMM. A Scalable Commodity Data Center Network Architecture. In SIGCOMM.

3. Luca de Alfaro Marta Z. Kwiatkowska Gethin Norman David Parker and Roberto Segala. 2000. Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. In Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held As Part of the European Joint Conferences on the Theory and Practice of Software ETAPS 2000 (TACAS ’00). 395–410. Luca de Alfaro Marta Z. Kwiatkowska Gethin Norman David Parker and Roberto Segala. 2000. Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. In Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held As Part of the European Joint Conferences on the Theory and Practice of Software ETAPS 2000 (TACAS ’00). 395–410.

4. Kalev Alpernas Roman Manevich Aurojit Panda Mooly Sagiv Scott Shenker Sharon Shoham and Yaron Velner. 2018. Kalev Alpernas Roman Manevich Aurojit Panda Mooly Sagiv Scott Shenker Sharon Shoham and Yaron Velner. 2018.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

2. Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

3. Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

4. Kirigami, the Verifiable Art of Network Cutting;IEEE/ACM Transactions on Networking;2024-06

5. Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge;IEEE INFOCOM 2024 - IEEE Conference on Computer Communications;2024-05-20