每經(jīng)AI快訊，有投資者在投資者互動(dòng)平臺(tái)提問(wèn)：請(qǐng)問(wèn)公司高可信軟件是否可應(yīng)用于華為倉(cāng)頡語(yǔ)言？

科大國(guó)創(chuàng)（300520.SZ）6月25日在投資者互動(dòng)平臺(tái)表示，公司自主研發(fā)的高可信軟件主要包括程序分析工具和程序驗(yàn)證工具等原創(chuàng)軟件產(chǎn)品，通過(guò)對(duì)程序源代碼進(jìn)行靜態(tài)的分析和驗(yàn)證，實(shí)現(xiàn)高可信軟件智能驗(yàn)證。公司將積極推動(dòng)與相關(guān)方在編程語(yǔ)言分析、驗(yàn)證等方面的合作。

(記者 王可然)

免責(zé)聲明：本文內(nèi)容與數(shù)據(jù)僅供參考，不構(gòu)成投資建議，使用前核實(shí)。據(jù)此操作，風(fēng)險(xiǎn)自擔(dān)。