AdaCore开源GNAT Foundry演示项目保障AI代码信任

2026年10月14日，AdaCore 在代码托管平台 GitHub 上开源了演示项目 GNAT Foundry: Intersection。该项目重点展示了如何利用 Ada 与 SPARK 形式化验证工具链，为人工智能编写的高完整性软件建立确定性信任。该演示项目的推出，为借助形式化验证手段保障 AI 生成代码在高完整性关键系统中的可靠性与信任度提供了实践参考。

AI 根据报道生成 · 2 小时前更新

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