【经营】科大国创推出可信编码智能体,支持代码自动生成等功能
2026-07-13
科大国创融合“形式化方法+AI”,推出可信编码智能体,支持代码自动生成、补全、解释、问答、错误检查与优化建议,并与静态分析工具集成自动修复代码缺陷,同时集成形式验证工具辅助生成验证标注,确保程序正确、安全与可靠。
点此打开小程序免费查看完整AI分析结果
点此打开小程序
重要提示和声明
本页面内容由AI生成,不保证完全真实、准确或完整,不代表希财舆情宝官方立场,不构成任何投资建议。查看详细说明,请点击此处
订阅榜