Open Access

ARTICLE

Fast Verification of Network Configuration Updates

Jiangyuan Yao¹, Zheng Jiang², Kaiwen Zou², Shuhua Weng¹, Yaxin Li³, Deshun Li¹, Yahui Li^4,*, Xingcan Cao⁵

1 Scool of Computer Science and Technology, Hainan University, Haikou, 570228, China
2 School of Cyberspace Security, Hainan University, Haikou, 570228, China
3 School of Software Engineering, Jilin University, Changchun, 130012, China
4 School of Software, Beijing Jiaotong University, Beijing, 100091, China
5 University of British Columbia, Vancouver, V5K1K5, Canada

* Corresponding Author: Yahui Li. Email: