高可信

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