1280.83 계층적 FSM의 검증 기법