1. 验证综述

2015. Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys & Tutorials, 2015

https://ieeexplore.ieee.org/document/6873212

2019. A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys & Tutorials, 2019

https://ieeexplore.ieee.org/document/8453007

2021. 网络验证研究综述

软件学报，2021

http://www.jos.org.cn/jos/article/abstract/6510

2. 验证文章

2016. Fast Control Plane Analysis Using an Abstract Representation

SIGCOMM'16 | 开源

https://dl.acm.org/doi/10.1145/2934872.2934876

2022. Symbolic Router Execution

SIGCOMM'22

https://dl.acm.org/doi/10.1145/3544216.3544264