A Lightweight and Fast Network Verification Platform for Cloud Data Center Networks. - Lin Shen; Yang Wang 161; Lizhao You; Haihua Li; Wei Song; Ziyang Yao; Zhou Yuan; Feng Dong; Ronghua Sun (FMANO@SIGCOMM, 2024)