1277.191 Alloy를 이용한 유한 상태 모델 분석