科大国创：“USTCHCS高可信分析工具集”获“原型竞赛命题型-缺陷检测类”一等奖|科大国创_新浪财经

机构一致看好股市行情，2021年谁是最强风口？布局窗口期来临，立即开户，抢占投资先机！

原标题：科大国创：“USTCHCS高可信分析工具集”获“原型竞赛命题型-缺陷检测类”一等奖来源：智通财经

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

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