温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本申请涉及计算机网络技术领域，特别涉及一种基于混合符号化的路由配置验证方法、装置和电子设备，其中，方法包括：根据网络配置构建混合符号化网络模型；利用混合符号化网络模型推理网络在任意环境下的控制平面行为，并根据控制平面行为推理网络在任意环境下...
该专利属于清华大学所有，仅供学习研究参考，未经过清华大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。