A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges - Li, Yahui; Yin, Xia; Wang, Zhiliang; Yao, Jiangyuan; Shi, Xingang; Wu, Jianping; Zhang, Han; Wang, Qing (IEEE Communications surveys and tutorials, 2019)
Keywords: Control systems; formal methods; network reliability; network testing; Network verification; Reliability; Routing protocols; Software; software-defined network; Testing