安徽中科国创高可信软件有限公司

公司由中国科学技术大学与科大国创股份有限公司于2017年联合创办，核心团队源自中国科大，公司技术团队在形式化方法领域有二十余年的理论与实践积累，是我国首批接触并研究形式化方法的团队，在程序验证和分析方面积累了关键技术，形成了国内外较为领先的技术体系。

公司是国家高新技术企业、省专精特新企业和科技型中小企业，拥有省企业技术中心、省企业研发中心等研发机构。公司位于合肥市高新区文曲路355号科大国创大厦，现有员工140余名，其中技术人员130人。

公司主要产品有：科创瀚海静态分析工具、科创星云形式验证工具、科创星码编程助手和科创星智模型评测平台等基础软件工具和AI产品。公司致力于高可信软件和人工智能安全的研究和软件产品的研发，将高可信软件的相关技术应用于安全攸关行业的关键基础设施的开发中，推动高可信软件系统的应用和高可信软件开发支撑工具的产业化建设，提高关键领域的软件可靠性和安全性，为国家解决基础开发工具类软件“卡脖子”问题、提升软件质量及安全性提供了有力的支撑。