1277.189 NuSMV를 이용한 기호적 모델 검사