---
id: checking
requestedLanguage: zh
descriptionLanguage: zh
---

# 模型检查 · Model Checking

- 类型: 形式化方法
- 分组: 验证
- 位置: 验证 / 代码与模型分析
- [来源](<https://lamport.azurewebsites.net/tla/tla.html>)

[HTML](https://dpm.cnonim.name/zh/practices/checking/)

在状态空间中检查模型属性；结论受模型及其假设的限制。

## 关系

- 同样使用模型: [基于模型的测试 · Model-based Testing](/practices/model/zh.md) (comparison)

[在地图上显示](https://dpm.cnonim.name/#practice=checking&lang=zh)