科大国创：公司高可信软件主要包括程序分析工具和程序验证工具等原创软件产品(科大国创公司怎么样)

证券之星消息，科大国创(300520)07月21日在投资者关系平台上答复投资者关心的问题。

投资者提问：请问公司的Ai编程工具和高可信软件方面，与仓颉编程语言合作吗？应用方向是怎样的？目前大多数云平台都没有支持到仓颉，公司的能支持吗？开源以后能否受益？

科大国创回复：您好，感谢关注。公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。

以上内容为证券之星据公开信息整理，由AI算法生成（网信算备310104345710301240019号），不构成投资建议。