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

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

Full description

Bibliographic Details

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
ISSN:	2373-745X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!