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

航空航天、核电等行业软件系统需通过DO-178C等认证标准，要求对每一行代码进行形式化验证，波音787飞控软件约有650万行代码均经过此级别验证

1

来源数

50%

置信度

长期有效

时效性

2026/9/4

首次发现

来源

拒绝AI成为差异化定位：反AI潮流背后的工程理性

涉及实体

DO-178Cconcept 波音787product

相关事实

待验证航空航天领域的DO-178C标准根据软件故障的潜在影响等级规定了不同严格程度的验证要求76% 相似待验证该项目提出了一个合约级验证器，专门用于验证由大语言模型生成的GPU内核代码的正确性65% 相似待验证Missions的验证器不仅验证代码的lint、类型检查和测试，还验证端到端的行为62% 相似待验证关键代码合并应采取多人审查制度，至少需要两名以上维护者批准61% 相似待验证代码审查任务对模型要求相对更低，参数量在 7B-32B 范围的量化模型即可胜任大部分审查场景，一台配备 RTX 4070 以上显卡的开发机就能运行质量可接受的代码审查模型61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/855619

API

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

MCP

get_claim(id=855619)