科大国创拟推动编程语言合作强化高可信软件

科大国创在投资者互动平台回应投资者提问，表示公司自主研发的高可信软件包括程序分析工具和程序验证工具，用于通过静态分析和验证实现高可信软件智能验证，并将积极推动与相关方在编程语言分析、验证等方面的合作。