Modular Data Plane Verification for Compositional Networks

Modern networks are increasingly using layering and bridging to form a compositional architecture. Layering protocols like VXLAN create multiple overlay networks on top of a single underlay network infrastructure. This makes network configurations even more complex, and error-prone. To check the cor...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The proceedings of the ACM on networking 2023-11, Vol.1 (CoNEXT3), p.1-22, Article 23
Hauptverfasser:	Liu, Xu, Zhang, Peng, Li, Hao, Sun, Wenbing
Format:	Artikel
Sprache:	eng
Schlagworte:	Network properties Network reliability Networks
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!