GNAT Foundry: Intersection 演示如何为 AI 生成代码提供确定性信任

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