Assisting reachability verification of network configurations updates with NUV

Configuring a network is always difficult and error-prone because of low-level configuration languages and complex routing mechanisms. Most network outages occur when network the configuration is updated. Thus, it is important to proactively verify network configurations. Unfortunately, there are tw...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer networks (Amsterdam, Netherlands : 1999) Netherlands : 1999), 2020-08, Vol.177, p.107326, Article 107326
Hauptverfasser:	Li, Yahui, Wang, Zhiliang, Yin, Xia, Shi, Xingang, Wu, Jianping, Ye, Fangdan, Yao, Jiangyuan, Zhang, Han
Format:	Artikel
Sprache:	eng
Schlagworte:	Configuration management Formal methods Minesweepers Network configuration update Queries Reachability verification Routers Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!