每经AI快讯，有投资者在投资者互动平台提问：请问公司的Ai编程工具和高可信软件方面，与仓颉编程语言合作吗？应用方向是怎样的？目前大多数云平台都没有支持到仓颉，公司的能支持吗？开源以后能否受益？
科大国创（300520.SZ）7月22日在投资者互动平台表示，公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。
（记者 王晓波）
免责声明：本文内容与数据仅供参考，不构成投资建议，使用前核实。据此操作，风险自担。
1本文为《每日经济新闻》原创作品。
2 未经《每日经济新闻》授权，不得以任何方式加以使用，包括但不限于转载、摘编、复制或建立镜像等，违者必究。
每日经济新闻客户端