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

安徽中科国创高可信软件公司是由中国科学技术大学与科大国创软件股份有限公司联合创办的一家高新技术企业。公司专注于高可信软件验证与分析技术的研发及软件产品的创新，将相关技术应用于国家安全和社会稳定的重点领域，促进高可信软件开发和评测体系的构建，推进高可信软件系统及其开发支撑工具的产业化进程，增强关键领域软件的可靠性和安全性，为国家、社会和民众的生命财产安全提供保障。

公司的核心技术团队源自中国科学技术大学软件安全实验室和中科大-国创高可信软件工程中心。在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等领域取得了多项理论突破和科研成果，并建立了基于这些理论的程序验证与分析框架和技术。

公司现有员工约100人，其中主要技术和管理人员均来自中科大，预计到2022年底将扩展至140余人，目前核心技术人员（包括博士和硕士）共15人，开发人员60余人，以及其他市场等岗位人员10余人。

公司成立于2017年8月，总部位于合肥高新区，并在苏州工业园区设有研发中心。注册资本为1003.3万元人民币。

公司将为科研院所和企业提供以下产品和服务：
1. 软件质量提升服务：利用自动形式化验证与程序分析技术，发现并解决软件中的潜在错误和致命缺陷，确保软件的高可靠性。
2. 行业高可信软件认证服务：通过形式化验证与程序分析技术，帮助行业软件满足国际认证标准的要求。
3. 可定制的高可信软件开发工具及产品：包括程序自动分析工具、程序自动形式化验证工具、验证编译器、安全操作系统内核等。
4. 高可信软件咨询与评估：为客户提供高可信软件开发的专业咨询和解决方案，以及软件质量评估服务。