YaHui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang. A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Communications Surveys and Tutorials, 21(1):940-969, 2019. [doi]
@article{LiYWYSWZW19,
title = {A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges},
author = {YaHui Li and Xia Yin and Zhiliang Wang and Jiangyuan Yao and Xingang Shi and Jianping Wu and Han Zhang and Qing Wang},
year = {2019},
doi = {10.1109/COMST.2018.2868050},
url = {https://doi.org/10.1109/COMST.2018.2868050},
researchr = {https://researchr.org/publication/LiYWYSWZW19},
cites = {0},
citedby = {0},
journal = {IEEE Communications Surveys and Tutorials},
volume = {21},
number = {1},
pages = {940-969},
}