每日经济新闻
互动

每经网首页 > 互动 > 正文

科大国创:公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品

每日经济新闻 2022-11-08 16:29:44

每经AI快讯,有投资者在投资者互动平台提问:贵司自研的高可信软件是否可以兼容适用于华为仓颉?

科大国创(300520.SZ)11月8日在投资者互动平台表示,公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品,通过对程序源代码进行静态的分析和验证,实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。

(记者 蔡鼎)

免责声明:本文内容与数据仅供参考,不构成投资建议,使用前核实。据此操作,风险自担。

如需转载请与《每日经济新闻》报社联系。
未经《每日经济新闻》报社授权,严禁转载或镜像,违者必究。

读者热线:4008890008

特别提醒:如果我们使用了您的图片,请作者与本站联系索取稿酬。如您不希望作品出现在本站,可联系我们要求撤下您的作品。

欢迎关注每日经济新闻APP

每经经济新闻官方APP

0

0