Zhuoruo Zhang, Jilin Hu, Chenyang Yu, Rui Chang, Yongwang Zhao. VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks. In Claudio A. Ardagna, Boualem Benataliah, Hongyi Bian, Carl K. Chang, Rong N. Chang, Jing Fan, Geoffrey C. Fox, Zhi Jin, Xuanzhe Liu, Heiko Ludwig, Michael Sheng, Jian Yang, editors, IEEE International Conference on Web Services, ICWS 2023, Chicago, IL, USA, July 2-8, 2023. pages 71-77, IEEE, 2023. [doi]
Abstract is missing.