科大国创

　　当前,全球新一轮科技革命和产业变革正加速演进，新一代信息技术及其深度应用已经推动人类社会步入到新的发展阶段，数字经济成为发展的新引擎，将引领未来发展。在数字经济时代，软件技术已经成为企业的核心竞争力。高可信软件为国家安全攸关行业提供高安全性、高可靠性、高可信性保障，是国家信息和网络安全的关键性技术和基础工具的护城河，具有重要的战略意义。在“软件定义一切”的当下，未来社会经济高质量的发展，都离不开软件技术的支撑。特别是在航空航天、国防装备、核能、金融、交通、智能 机器人 、智能汽车、无人工厂、医疗等安全攸关的应用领域，开发高可信的软件成为迫切的需求和挑战。

　　

　　根据资料显示，目前国际上能达到或接近达到国际标准15408（即CC标准，我国的GB/T 18336国家标准等同此标准）中最高评估级别“采用形式验证方法的设计和测试”的软件凤毛麟角，尤其是极少有采用基于演绎推理证明方式。该证明方式技术壁垒高、软件工具少、技术人员匮乏。针对目前采用形式验证方法的高端空白市场， 科大国创 依托中国科学技术大学软件安全实验室和中国科大——国创高可信软件工程中心的教授、博士团队，经过十多年潜心研究和沉淀，开发出基于演绎推理的程序验证工具，实现了高可信软件技术从实验室向实际应用的跨越。目前，科大国创高可信软件技术水平已达到国际领先地位。

　　

　　今天，万物互联无处不在，人工智能已经向我们款款而来，“用代码改变世界”的流行语不再是程序员的自我调侃。为普及程序形式化验证的基础理论、方法和技术，培养从事形式化验证的高端人才，近日，科大国创控股子公司——安徽中科国创高可信软件有限公司在合肥举办了为期一周的“首期程序形式化验证入门培训班”。培训班采用讲解和实践相结合的学习方式，由浅而深地介绍了程序验证的基础理论、形式化方法、实现技术和科创验证器学习平台的使用，学员们初步掌握了基本的程序验证技术，对此次培训班的举办表示高度认可。这也是科大国创在与合肥高新区共同打造的国内高可信软件领域产学研用紧密结合的新型创新平台——“高可信软件云平台”基础上，汇聚和连接研究、学习、应用与开发者，构建高可信软件的生态体系的一项重要举措。未来，在信息化发展的高速公路上，科大国创将持续深耕高可信软件的研发与应用，推动高可信软件在国家安全和社会稳定密切相关的关键基础设施建设中发挥关键作用，形成具有世界领先水平的高可信软件开发产品及技术，不断打造高可信软件集成开发平台和高可信软件验证工具，为尖端科技领域保驾护航。

　　

　　图：科创验证器验证平台

　　经过二十年的不断努力,科大国创已成为行业软件的领先者、大数据研发应用的国家队、数据智能技术的创新者。公司将继续坚持以内生发展和外延扩张相结合、市场与研发双轮驱动、产品和服务共同推进、创新引领和行业精耕细作相融合、团队高素质和工作高效率相协同为总体思路，坚定贯彻“智慧+”“平台驱动”“产品引领”三大战略，围绕公司主营业务，应用领先的数据智能技术，向客户提供优质的产品与服务，努力实现十四五时期发展目标，为振兴国产软件产业开启新的篇章，为数字经济的创新发展贡献力量。