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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE Communications surveys and tutorials Jg. 21; H. 1; S. 940 - 969
Hauptverfasser:	Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	IEEE 2019
Schlagworte:	Control systems formal methods network reliability network testing Network verification Reliability Routing protocols Software software-defined network Testing
ISSN:	2373-745X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!