Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge

Xing Fang, Feiyan Ding, Bang Huang, Ziyi Wang, Gao Han, Rulan Yang,Lizhao You,Qiao Xiang,Linghe Kong,Yutong Liu,Jiwu Shu

IEEE INFOCOM 2024-IEEE CONFERENCE ON COMPUTER COMMUNICATIONS（2024）

引用 0|浏览4

关键词

Cognitive Domains,Network Configuration,Help Check,Search Space,Key Insights,Low Efficiency,Large Networks,Flow Control,Reachable,Variables In Order,Class Assignment,Preferred Location,Simple Formula,Variable Names,Boolean Variable,Assignment Of Values,Formal Verification,Wide Area Network,Independent Ones,Variable Formula

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要