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

1996年阿丽亚娜5号火箭首飞爆炸的根本原因是从阿丽亚娜4号继承的惯性导航软件的规约假设在新火箭飞行剖面下不再成立，而非代码不符合规约

1

来源数

50%

置信度

长期有效

时效性

2026/8/18

首次发现

来源

形式化验证的困境与出路：50年争论给工程师的启示

相关事实

待验证虚幻引擎5.8目前仍处于预览阶段，存在一些稳定性问题56% 相似待验证虚幻引擎5.7已经发布51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/769248

API

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

MCP

get_claim(id=769248)