728.103 모델 검사(Model Checking) 기법