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

• Published in: IEEE Communications surveys and tutorials Vol. 21; no. 1; pp. 940 - 969
• Main Authors: Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing
• Format: Journal Article
• Language: English
• Published: IEEE 2019
• Subjects: Control systems; formal methods; network reliability; network testing; Network verification; Reliability; Routing protocols; Software; software-defined network; Testing

Networks have grown increasingly complicated. Violations of intended policies can compromise network availability and network reliability. Network operators need to ensure that their policies are correctly implemented. This has inspired a research field, network verification and testing, that enable...