每經AI快訊(xun)，有投(tou)資者在(zai)投(tou)資者互動平臺(tai)提(ti)問(wen)(wen)：請問(wen)(wen)公(gong)司高可信軟件是否可應用(yong)于華為倉(cang)頡語言？

科(ke)大(da)國(guo)創（300520.SZ）6月25日在投資者互動平(ping)臺表(biao)示，公司(si)自主研發的高可(ke)信軟(ruan)件(jian)主要包(bao)括程序(xu)分析工具(ju)和(he)程序(xu)驗(yan)(yan)證工具(ju)等(deng)原創軟(ruan)件(jian)產品，通過對程序(xu)源代碼(ma)進(jin)行靜態(tai)的分析和(he)驗(yan)(yan)證，實現(xian)高可(ke)信軟(ruan)件(jian)智(zhi)能(neng)驗(yan)(yan)證。公司(si)將積(ji)極推動與相關方在編程語言分析、驗(yan)(yan)證等(deng)方面的合作。

(記者 王可然)

免責聲明：本文內容與(yu)數據僅供參考，不構成投(tou)資建議，使用前核實。據此操作(zuo)，風險自(zi)擔(dan)。