发明公开
- 专利标题： 基于MonoSAT的云网络配置分析方法及系统
-
申请号： CN202310366544.9申请日： 2023-04-07
-
公开(公告)号： CN116614355A公开(公告)日： 2023-08-18
- 发明人: 赵成成 , 石宜平 , 王坤 , 程鹏 , 陈积明 , 祝顺民 , 卢建元 , 吕彪
- 申请人： 浙江大学
- 申请人地址： 浙江省杭州市西湖区余杭塘路866号
- 专利权人： 浙江大学
- 当前专利权人： 浙江大学
- 当前专利权人地址： 浙江省杭州市西湖区余杭塘路866号
- 代理机构： 杭州求是专利事务所有限公司
- 代理商 刘静
- 主分类号： H04L41/0803
- IPC分类号： H04L41/0803 ; H04L9/40 ; H04L67/30 ; H04L61/2503 ; H04L41/12
摘要：
本发明公开了一种基于MonoSAT的云网络配置分析方法及系统，用于在云网络用户对云网络进行配置时，通过形式化验证的方法分析根据配置文件信息构建的云网络中节点间的可达性等属性。用户通过输入云网络的配置文件信息和需要验证可达性的节点信息即可获得在该配置文件信息下是否可达的形式化验证结果，以此帮助实现判断用户的配置文件是否与用户的配置意图相符等进一步分析。
