Fine-grained Distributed Data Plane Verification with Intent-based Slicing

Kuan-Yen Chou, Santhosh Prabhu, Giri Subramanian +4

Data plane verification has grown into a powerful tool to ensure network correctness. However, existing methods with monolithic models have memory requirements tied to network size…