首页>
外国专利>
FORMAL VERIFICATION APPARATUS AND METHOD FOR SOFTWARE-DEFINED NETWORKING
FORMAL VERIFICATION APPARATUS AND METHOD FOR SOFTWARE-DEFINED NETWORKING
展开▼
机译:用于软件定义网络的正式验证装置和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
The present invention relates to a formal technique-based verification apparatus and method for verifying software-defined networking. In accordance with an embodiment, a formal verification apparatus for Software-Defined Networking (SDN), includes a formal language creation unit for collecting flow table information for an entire network topology in response to a request of a SDN control unit, and creating description code in a predefined formal language based on the collected flow table information. A Symbolic Transition Graph (STG) generation unit generates a symbolic transition graph using the created description code in the formal language. A verification execution unit performs verification by applying formal verification technology to the symbolic transition graph.
展开▼