share_log

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

格隆汇 ·  06/25 08:17

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

声明:本内容仅用作提供资讯及教育之目的,不构成对任何特定投资或投资策略的推荐或认可。 更多信息
    抢沙发