IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Survey on Network Verification and Testing with Formal Methods: Approaches and Challenges

Author(s): Yahui Li ; Xia Yin ; Zhiliang Wang ; Jiangyuan Yao ; Xingang Shi ; Jianping Wu ; Han Zhang ; Qing Wang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (CD): 2373-745X
ISSN (Electronic): 1553-877X
DOI: 10.1109/COMST.2018.2868050
Regular:

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... View More

Advertisement