1180.7 마르코프 모델 기반 정량적 검증