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

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

随着人工智能的不断发展，高可信软件在机器学习、区块链技术、量子计算等领域的重要性将日益凸显。科大国创作为高可信软件的引领者之一，未来将不断推动该领域的研究突破和实践创新。