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

Celý popis

Podrobná bibliografia

Vydané v:	IEEE Communications surveys and tutorials Ročník 21; číslo 1; s. 940 - 969
Hlavní autori:	Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	IEEE 2019
Predmet:	Control systems formal methods network reliability network testing Network verification Reliability Routing protocols Software software-defined network Testing
ISSN:	2373-745X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!