科大国创与合肥高新区共建高可信软件云平台 护航数字经济创新发展

　　 日前，由【科大国创(300520)、股吧】（300520）牵头建设的安徽中科国创高可信软件有限公司成功入选首批合肥高新区以企业为主体协同创新平台项目，并签署了“合肥高新区以企业为主体的协同创新平台――高可信软件云平台”合作共建协议，标志着科大国创持续投入研发的高可信软件开始崭露头角。

　　高可信软件是指可靠、可信和安全性标准极高的软件，为国家安全攸关行业提供高安全性、高可靠性、高可信性保障，是国家信息和网络安全的关键性技术和基础工具的护城河，具有重要的战略意义。

　　科大国创依托中国科学技术大学软件安全实验室和中国科大――国创高可信软件工程中心的教授、博士团队，经过10多年的相关理论研究，在嵌入式操作系统验证、关键算法的形式化验证、安全C程序验证工具和C/C++程序内存安全与缺陷分析等方面完成了诸多理论突破。在此基础上，公司控股子公司中科国创高可信秉承“打造自主智能软件，为软件质量与安全而奋斗”的理念，以自主的智能算法研发了业内领先的程序分析和程序验证工具等原创软件产品，为人工智能、机器人、无人驾驶、军工、航天、核电等安全攸关的关键领域的软件安全可靠提供保障。

　　目前，在程序分析工具方面，科大国创已推出“USTCHCS 分析工具集”，实现了对C和C++程序的静态分析，可运行于多种操作系统和开发平台，支持多种国际、国家和行业标准；在程序验证工具方面，科大国创推出了“科创验证器学习平台”，在国创云平台上线公开。

　　此次，由合肥高新区与科大国创共同签约打造的“高可信软件云平台”是国内高可信软件领域产学研用紧密结合的新型创新平台。汇聚和连接研究、学习、应用与开发者，构建高可信软件的生态体系，旨在推动高可信软件在国家安全和社会稳定密切相关的关键基础设施建设中发挥关键作用，形成具有世界领先水平的高可信软件开发工具产品及技术，打造以程序分析和程序验证为核心的高可信软件集成开发平台。这也标志着科大国创领先的高可信软件技术已走出开发间，技术成果已崭露头角，为进一步的规模市场化应用奠定坚实基础。（胡心宇）