形式化方法模型检查 · Model Checking在状态空间中检查模型属性；结论受模型及其假设的限制。地图中的位置验证代码与模型分析相关实践比较与关联同样使用模型基于模型的测试 · Model-based Testing模型检查在地图上显示来源 ↗