每日經(jīng)濟新聞 2022-11-08 16:29:44
每經(jīng)AI快訊，有投資者在投資者互動平臺提問：貴司自研的高可信軟件是否可以兼容適用于華為倉頡？
科大國創(chuàng)（300520.SZ）11月8日在投資者互動平臺表示，公司自主研發(fā)的高可信軟件主要包括程序分析工具和程序驗證工具等原創(chuàng)軟件產(chǎn)品，通過對程序源代碼進行靜態(tài)的分析和驗證，實現(xiàn)高可信軟件智能驗證。公司將積極推動與相關(guān)方在編程語言分析、驗證等方面的合作。
(記者 蔡鼎)
免責(zé)聲明：本文內(nèi)容與數(shù)據(jù)僅供參考，不構(gòu)成投資建議，使用前核實。據(jù)此操作，風(fēng)險自擔(dān)。
如需轉(zhuǎn)載請與《每日經(jīng)濟新聞》報社聯(lián)系。
未經(jīng)《每日經(jīng)濟新聞》報社授權(quán)，嚴(yán)禁轉(zhuǎn)載或鏡像，違者必究。
讀者熱線：4008890008
特別提醒：如果我們使用了您的圖片，請作者與本站聯(lián)系索取稿酬。如您不希望作品出現(xiàn)在本站，可聯(lián)系我們要求撤下您的作品。
歡迎關(guān)注每日經(jīng)濟新聞APP
Copyright ? 2025 每日經(jīng)濟新聞報社版權(quán)所有，未經(jīng)許可不得轉(zhuǎn)載使用，違者必究。
廣告熱線? 北京: 010-57613265，?上海: 021-61283008，?廣州: 020-84201861，?深圳: 0755-83520159，?成都: 028-86512112
