摘要:
Fast Control Plane Analysis Using an Abstract Representation 论文链接 背景 state-of-art verifiers 【Batfish】 are either too slow or impractical to use for pr 阅读全文
摘要:
Accuracy, Scalability, Coverage – A Practical Configuration Verifier on a Global WAN 论文链接 背景 阿里WAN涉及的路由技术:Static/BGP/IS-IS+ACL; 配置验证面临的挑战: 控制平面仿真的正确性, 阅读全文
摘要:
proof-theoretic ways to derive facts bottom up: starting from the known facts and deriving all possible new facts technique: fixpoint top-down: starti 阅读全文