-
公开(公告)号：CN116614375A
公开(公告)日：2023-08-18
申请号：CN202310745072.8
申请日：2023-06-21
Applicant: 西安交通大学
IPC: H04L41/0866 , H04L41/0803 , H04L41/0894
Abstract: 本发明涉及计算机网络配置验证技术领域，具体为一种计算机网络的配置形式化验证方法及系统，从待验证属性出发，根据配置指令之间存在的依赖关系来多次遍历配置语法分析树，进而提取与待验证属性相关的配置指令。当获得相关配置之后，可以选择合适的控制平面验证工具来分析待验证属性是否成立。本发明通过计算与待验证属性相关的配置指令，减少待分析的网络规模，可以显著改善现有的控制平面验证工具的可扩展性，如显著减少验证时间，显著降低内存消耗，使得验证工具能够应用于现实世界中大规模复杂网络的分析；由于使用自定义的配置指令依赖关系，因而易于修改依赖关系来适应新的网络特性、新的配置格式和新的配置语义等。
Search Results
1
records
(took 0.014 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
