当前，新一代信息技术与传统制造业深度融合，全球新一轮科技革命和产业革命浪潮已来。科大国创充分发挥“软件定义”的优势，以数据智能和高可信软件为核心技术，构建了国创自主技术平台，研发了一系列国创自主核心产品，广泛应用于运营商&政企、智能网联&智慧能源、物流科技等行业领域。

近日，科大国创自研产品“USTCHCS高可信软件分析工具” 获得了国际权威机构CWE的专业认可，顺利通过CWE国际兼容性认证。这是科大国创自研的国产化工具在能力、有效性等方面获得的一次有力证明，将为科大国创核心技术创新添砖加瓦。

此外，在即将举行的2022年CCF中国软件大会上，将举办【形式化方法工业应用前沿】技术分论坛，届时，科大国创将发布“科创星云验证器（企业版）”，这是科大国创在形式化方法领域的又一款突破性产品，展现了科大国创在形式化方法领域的持续研发与创新能力。

科大国创—中科国创高可信软件已设立合肥、苏州两大研发中心，形成拥有完全自主知识产权的产品体系，市场成果转化硕果累累，目前已在航空航天、轨道交通、智能汽车、金融、能源等多赛道实现科技成果转化应用。

未来，公司将充分发挥公司高可信软件的技术优势，坚定贯彻“双智”战略，为智能网联、智慧能源等领域提供高可信的“智能BMS+电池”产品，打造领先的移动智慧能源包，构建分布式智慧能源系统。

（转载自科大国创微信公众号）