AdaCore发布GNAT Foundry演示项目，展示AI生成代码的验证方法

AdaCore发布了一个名为GNAT Foundry: Intersection的演示项目，展示了如何通过非AI工具为AI生成的高完整性软件提供确定性信任。 该项目基于一个四向交叉路口系统，包含由运行时错误证明、正确性证明和编译时验证等工具生成的证据，旨在确保软件符合100% MC/DC和语句覆盖率要求。 用户可通过GitHub克隆该项目并运行脚本，以体验AI生成代码的自动化设置与验证流程。

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

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