随笔分类 -  论文笔记

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) 编辑

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