Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification

Shenshen Chen, Jian Luo, Dong Guo +2

Data plane verification (DPV) analyzes routing tables and detects routing abnormalities and policy violations during network operation and planning. Thus, it has become an importan…