科大国创（300520.SZ）：“USTCHCS高可信分析工具集”获得“原型竞赛命题型-缺陷检测类”一等奖

格隆汇 11 月 24日丨科大国创(300520.SZ)公布，近日，公司控股子公司安徽中科国创高可信软件有限公司(“中科国创”)参加了中国计算机学会(CCF)主办的中国软件工程、系统软件研究领域的权威学术会议“2020 CCF中国软件大会”，在“软件研究成果原型系统竞赛”环节，中科国创自主研发的“USTCHCS高可信分析工具集”获得了“原型竞赛命题型-缺陷检测类”一等奖。

高可信软件是指可靠安全性和保密安全性标准极高的软件，是国家信息和网络安全的关键技术和基础工具，公司多年坚持自主研发填补国内空白，为人工智能、机器人、无人驾驶、军工、航天、核电等安全攸关行业领域提供高安全性、高可靠性、高可信性保障，具有重要的战略意义。公司依托与中国科学技术大学共建的“中国科大——国创高可信软件工程中心”，经过多年持续研发，目前已正式发布“USTCHCS高可信分析工具集”和“高可信软件验证平台(学习版)”，并与合肥高新区共建“高可信软件云平台”，为其“数字经济支撑技术公共服务平台”提供高可信软件支撑等市场化推广应用。此次获奖也标志着公司高可信软件研究成果在行业内得到充分认可，公司将继续坚持业内领先的高可信软件研发和推广。

此次奖项的获得对公司高可信软件产品的推广及市场化应用起到积极作用，但对公司业绩暂无重大影响。