727.94 모델 검사(Model Checking) 기법