科大国创自2013年与中国科学技术大学共建“中国科大-国创高可信软件工程中心”，至今已超10年，逐步构建了基础工具软件-编程AI助手-机器人编程的发展路径。
当前，公司已推出了高可信程序分析和程序验证基础工具软件。高可信软件主要采用符号执行、定理证明等形式化技术，在代码级别或系统级别进行静态分析、动态分析和程序验证，以提供准确而全面的软件评估，从而帮助程序研发与测试人员检测和纠正潜在的错误、程序数