形式验证被预言将走向大众化

AGI Hunt 在对比1979年论文与2026年预测时称，形式验证正由安全关键代码中的专家定制工具，转向可能像 fuzzing 一样适用于几乎所有生产软件的技术；这一结论目前仍是预测，并非已经普及的既成事实。 该预测认为，LLM、语言设计和开发流程创新将推动形式验证像静态类型与测试框架一样被内建到软件开发中，并引发重新审视 Devereux Paradox 的讨论。1979年的论文曾断言形式验证难以成为主流工具，但报道未提供该论文及后续验证材料，因此不能据此确认其判断已被推翻。

AI 根据报道生成 · 49 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。