5G 네트워킹이 2020년 상용화를 목표로 추진되고 있다. 2020년에는 IoT에 의한 연결된 기 기가 500억~800억 개로 증가할것으로 예상되며 이로 인한 새로운 트래픽 폭증을 수용할 수 있는 5세대 이동통신 기술로 SDN/NFV(Software-Defined Networking/ Nework Function Virturalization)이 기반 기술로 고려되고 있다. SDN/NFV을 기반 프레임 워크를 활용함으로서 네트워크 제어 및 관리가 용이하지만 프 로그램에 의한 네트워크의 제어로 인한 예상하지 못한 심각한 오류가 발생할 수 있다. 그러므 로 SDN Controller의 rule을 데이터 디바이스에 전달하기 이전에 안전성(safety)과 일관성 (consistency)의 검증이 필수적이다. 본 논문에서는 5G SDN 네트워킹에서 발생할 수 있는 오 류에 대한 모델링과 검증 방법의 한가지를 다루도록 한다.