格隆匯6月25日丨科大國創(300520.SZ)在投資者互動平台表示，公司自主研發的高可信軟件主要包括程序分析工具和程序驗證工具等原創軟件產品，通過對程序源代碼進行靜態的分析和驗證，實現高可信軟件智能驗證。公司將積極推動與相關方在編程語言分析、驗證等方面的合作。
科大国创(300520.SZ)：自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品
科大國創(300520.SZ)：自主研發的高可信軟件主要包括程序分析工具和程序驗證工具等原創軟件產品
譯文內容由第三人軟體翻譯。
以上內容僅用作資訊或教育之目的，不構成與富途相關的任何投資建議。富途竭力但無法保證上述全部內容的真實性、準確性和原創性。