14.1 模型检查与修复