高可信软件分析与验证技术作为科大国创的核心技术，在强人工智能时代的重要性日益凸显，是人工智能规模化应用的前提。科大国创在OS内核、编译器、控制软件等底层系统软件验证方面具备了深厚的经验和能力，相关产品荣获CCF中国软件大会一等奖，是填补国内空白和解决“卡脖子”难题的关键技术，在国内国际处于领先地位，已广泛应用于航空航天、国防军工、智能汽车、机器人、金融、电信等安全攸关领域。

　　在其他安全攸关领域，科大国创高可信软件系列产品为广大智能汽车、金融、运营商企业客户的软件开发和测试提供一站式质量管理服务。其中科创方舟软件质量管理平台集成了静态、动态分析工具，对软件开发各环节进行中央式代码质量分析和检测把控，帮助用户尽早发现软件缺陷，节省代码评审时间，助力企业实现高质量发展。

　　龙8long8国际

　　可信代码生成AI助手运用LLM技术简化和优化软件开发生命周期中的各个环节，同时结合形式化技术，提高软件的开发质量。AI助手可以提供开发智能助手功能，包括函数级代码补全、代码解释、代码优化、代码注释生成、单元测试生成、智能问答、智能修复等能力，为开发人员提供助力。同时还可以提供形式标注辅助生成功能，针对特定语言，例如C语言，结合形式化技术实现自然语言到形式标注的生成，使得程序员能更容易地使用形式化方法来描述程序的行为，并自动进行形式验证，确保生成高度可信的代码。

　　高可信软件作为守护国家重点领域软件安全的尖端技术，面向世界科技前沿和国家重大需求，为加快实现国家科技自立自强助力。随着人工智能的不断发展，高可信软件在机器学习、区块链技术、量子计算等领域的重要性将日益凸显。科大国创作为高可信软件的引领者，未来将不断推动该领域的研究突破和实践创新，守护强人工智能时代关键软件安全。