2021年4月6日
Plankton-nsdi20阅读笔记
摘要： Plankton: Scalable network configuration verification through model checking 背景 对支持充分多路由协议的大规模网络配置验证工作仍具有挑战。 已有研究 离线数据平面验证：Anteater， HSA 配置分析工具：Batfis 阅读全文
posted @ 2021-04-06 20:38 &Yhao 阅读(381) 评论(0) 推荐(0) 编辑