LFVeri: Network Configuration Verification for Virtual Private Cloud Networks. - Kun Wang 023; Chengcheng Zhao; Jinpei Chu; Yiping Shi; Jianyuan Lu; Biao Lyu; Shunmin Zhu; Peng Cheng 001; Jiming Chen 001 (IEEE/ACM Trans. Netw., 2024)