Modular Data Plane Verification for Compositional Networks. - Xu Liu 013; Peng Zhang 011; Hao Li 011; Wenbing Sun (PACMNET, 2023)