本成果为一种面向多域软件定义网络（SDN）的配置验证方法，旨在解决现有技术中针对单一控制域网络验证的局限性，以及人工构建形式化模型自动化程度不足的问题。该方法通过自动提取多域SDN中软件定义网络子网和核心网的配置信息，并基于这些配置信息构造形式化模型，实现了对多域SDN的配置验证，从而提高了网络部署与管理的准确性 1.实现了对多域SDN的自动化配置验证，避免了人工构建模型的繁琐和高成本。2.提高了多域SDN的部署和管理效率，确保网络配置的准确性和可靠性。3.支持对大规模多域SDN网络的验证，具有广泛的适用性和应用价值。 该面向多域软件定义网络的配置验证方法通过自动提取配置信息并构建形式化模型，实现了对多域软件定义网络的验证，提高了验证的效率和准确性。它有助于在网络部署前发现并修复潜在的问题，减少故障发生的可能性，从而保障网络的稳定运行。此外，该方法还适用于不同规模和类型的多域软件定义网络，具有良好的通用性和扩展性。因此，它在校园网、企业网、数据中心网络和运营商网络等多个领域具有广泛的应用前景，有助于提升整体网络管理水平和服务质量。