投资者提问：请问公司的Ai编程工具和高可信软件方面，与仓颉编程语言合作吗？..._资讯

创始人

2025-07-22 09:10:44

投资者提问：

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

董秘回答(科大国创SZ300520)：

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

查看更多董秘问答>>

免责声明：本信息由Hehson财经从公开信息中摘录，不构成任何投资建议；Hehson财经不保证数据的准确性，内容仅供参考。