1276.105 모델 검사(Model Checking)를 통한 상태 검증