中科国创

高可信软件是一家计算机软件开发商，主要研发安全嵌入式操作系统、程序分析工具、C程序验证工具等具有世界领先水平的高可信软件产品和技术，为人工智能、航天、核工业、医疗机器人等尖端科技领域提供安全攸关的产品和创新的检验评测服务。

工商信息显示，安徽中科国创高可信软件有限公司法定代表人为董永东， 成立于2017-08-18，注册资本1703.30万人民币， 公司经营状态为存续，所属行业为软件和信息技术服务业， 注册地址位于合肥市高新区文曲路355号403室。

数据来源: 公开资料整理