복잡한 통신 프로토콜의 정형검증 방법연구