METHOD AND APPARATUS FOR FORMAL VERIFICATION OF NETWORK SERVICE IN NETWORK FUNCTION VIRTUALIZATION

摘要

네트워크 기능 가상화 환경에서 네트워크 서비스의 정형 검증을 위한 방법 및 장치가 제공된다. 정형 검증 장치는 NFV 환경에서 네트워크 서비스가 실행될 때 발생할 수 있는 오동작을 사전에 또는 런-타임(run time)에 발견하며, 네트워크 서비스에 관련된 기능, 동작 및 성능 중 적어도 하나에 대한 검증을 수행한다.