YaHui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang. A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Communications Surveys and Tutorials, 21(1):940-969, 2019. [doi]
Abstract is missing.