Real Time Control Plane Verification
Yifan Li, Jake Jia, Xiaohe Hu, Jun Li · 2019
In cloud datacenters, network configuration changes frequently, thus fast control plane verification is demanded to validate the changes before deployed. However, existing control plane verification tools are all based on static analysis of network configuration, so that the configuration need to be reverified completely when edited. Inspired by the real time data plane verification, we propose an incremental control plane verification. Its implementation based on an existing work demonstrated supeior performance.