VERIFICATION SUPPORT APPARATUS AND METHOD FOR FORMAL VERIFICATION OF NETWORK SERVICE CHAIN IN SOFTWARE-DEFINED NETWORKING ENVIRONMENT, AND FORMAL VERIFICATION APPARATUS HAVING VERIFICATION SUPPORT APPARATUS

摘要

Disclosed herein is technology for formal verification of a network service chain in a software-defined networking environment. In an embodiment, a verification support apparatus for formal verification of a network service chain includes a Network Service Chain (NSC) descriptor information reception unit for receiving NSC descriptor information from an application program. An NSC configuration unit configures an NSC of multiple network services using the received NSC descriptor information. A verification request unit requests formal verification of each network service in the configured NSC from a formal verification unit.