[发明专利]基于MonoSAT的云网络配置分析方法及系统在审
| 申请号： | 202310366544.9 | 申请日： | 2023-04-07 |
| 公开（公告）号： | CN116614355A | 公开（公告）日： | 2023-08-18 |
| 发明（设计）人： | 赵成成;石宜平;王坤;程鹏;陈积明;祝顺民;卢建元;吕彪 | 申请（专利权）人： | 浙江大学 |
| 主分类号： | H04L41/0803 | 分类号： | H04L41/0803;H04L9/40;H04L67/30;H04L61/2503;H04L41/12 |
| 代理公司： | 杭州求是专利事务所有限公司 33200 | 代理人： | 刘静 |
| 地址： | 310058 浙江*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于MonoSAT的云网络配置分析方法及系统，用于在云网络用户对云网络进行配置时，通过形式化验证的方法分析根据配置文件信息构建的云网络中节点间的可达性等属性。用户通过输入云网络的配置文件信息和需要验证可达性的节点信息即可获得在该配置文件信息下是否可达的形式化验证结果，以此帮助实现判断用户的配置文件是否与用户的配置意图相符等进一步分析。 | ||
| 搜索关键词： | 基于 monosat 网络 配置 分析 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浙江大学，未经浙江大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310366544.9/，转载请声明来源钻瓜专利网。
