share_log

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

科大國創(300520.SZ):自主研發的高可信軟件主要包括程序分析工具和程序驗證工具等原創軟件產品

格隆匯 ·  06/25 08:17

格隆匯6月25日丨科大國創(300520.SZ)在投資者互動平台表示,公司自主研發的高可信軟件主要包括程序分析工具和程序驗證工具等原創軟件產品,通過對程序源代碼進行靜態的分析和驗證,實現高可信軟件智能驗證。公司將積極推動與相關方在編程語言分析、驗證等方面的合作。

声明:本內容僅用作提供資訊及教育之目的,不構成對任何特定投資或投資策略的推薦或認可。 更多信息
    搶先評論