可扩展的网络验证技术：研究现状与发展趋势

黄翰林, 徐恪, 李琦, 李彤, 付松涛, 高翔宇

Scalable Network Verification Technologies: State of the Art and Future

HUANG Han-lin, XU Ke, LI Qi, LI Tong, FU Song-tao, GAO Xiang-yu

电子学报 . 2024, (4): 1083 -1102 . DOI: 10.12263/DZXB.20230682