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á bibliografie

Vydáno v:	IEEE Communications surveys and tutorials Ročník 21; číslo 1; s. 940 - 969
Hlavní autoři:	Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	IEEE 2019
Témata:	Control systems formal methods network reliability network testing Network verification Reliability Routing protocols Software software-defined network Testing
ISSN:	2373-745X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!