待验证50% 置信事实精确时间

模型检测通过穷举系统状态空间来验证属性是否成立，代表工具有SPIN和NuSMV

1

来源数

50%

置信度

长期有效

时效性

2026/9/15

首次发现

来源

形式化方法能否驯服AI智能体？OpenShell的实践启示

涉及实体

模型检测concept SPINproduct NuSMVproduct

相关事实

待验证碰撞检测通常通过二维布尔矩阵标记每个格子的占用状态来判断不规则物品能否放入指定位置66% 相似待验证系统识别通过测量真实硬件参数来校准仿真模型66% 相似待验证背包网格系统的碰撞检测通常通过二维布尔矩阵标记每个格子的占用状态来实现64% 相似待验证ItaSoRL的Oracle外部观察者检测器基于系统辨识（System Identification）方法，通过观察状态转移的统计特性推断底层物理参数63% 相似待验证该Skill会先识别功能模块，再在每个模块下系统展开正向流程、反向异常、边界值三类测试维度62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/922723

API

curl https://kongchang.com/api/v1/knowledge/claims/922723

MCP

get_claim(id=922723)