1. 验证综述
2015. Applying Formal Methods to Networking: Theory, Techniques, and Applications
IEEE Communications Surveys & Tutorials, 2015
2019. A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
IEEE Communications Surveys & Tutorials, 2019
2021. 网络验证研究综述
软件学报，2015
2. 验证文章
2016. Fast Control Plane Analysis Using an Abstract Representation
SIGCOMM'16
2022. Symbolic Router Execution
标签：Surveys,ieeexplore,记录,论文,Tutorials,https,2015,org From： https://www.cnblogs.com/liml-miku/p/16980603.htmlSIGCOMM'22