Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification

• DOI: 10.1145/3672202.3673722
• Publication Date: 2024-08-05T18:27:48Z
• Authors: Xinzhe Liu; Yahui Li; Han Zhang; Xia Yin; Xingang Shi; Zhiliang Wang; Gang Ren; Jiangyuan Yao
• Keywords: Underlay; Interpretability; Overlay network

The multilayer network configurations are more complex and error-prone. Modern control plane verifiers optimized for underlay networks exhibit limitations in scalability interpretability when extended to overlay networks. This paper proposes MEV, the first verifier MEV introduces a new verification method named ensemble verification, which decouples interactions properties across into each single layer, performing modeling within layer independently.