1277.160 FSM 형식 모델의 시뮬레이션 검증 기법