加入收藏 我的证券之星
股票 - 滤镜 - 投资者互动 - 科大国创 (300520)答投资者问 - 全文

科大国创(300520)答投资者问

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

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

来源：互动易     答复时间：2025/7/21 17:06:09

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

上市公司一周热度排行