12 2022 档案

论文记录
摘要：1. 验证综述 2015. Applying Formal Methods to Networking: Theory, Techniques, and Applications IEEE Communications Surveys & Tutorials, 2015 https://ieeexp 阅读全文
posted @ 2022-12-13 20:51 chamomilenc 阅读(50) 评论(0) 推荐(0) 编辑
Symbolic Router Execution
摘要：SIGCOMM'22 | Peng Zhang | https://dl.acm.org/doi/10.1145/3544216.3544264 SRE is a general and scalable network verification engine which supports vari 阅读全文
posted @ 2022-12-09 17:31 chamomilenc 阅读(64) 评论(0) 推荐(0) 编辑
Fast Control Plane Analysis Using an Abstract Representation
摘要：SIGCOMM'16 | Aaron Gember-Jacobson | https://dl.acm.org/doi/10.1145/2934872.2934876 本文描述了一种新的路由控制平面抽象ARC，它能够在任意故障场景下快速验证关键属性。 1. 基本准备 1.1 背景 **控制平面配置复 阅读全文
posted @ 2022-12-08 17:59 chamomilenc 阅读(38) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示