科大國創(chuàng)：公司自主研發(fā)的高可信軟件主要包括程序分析工具和程序驗證工具等原創(chuàng)軟件產(chǎn)品

每經(jīng)AI快訊，有投資者在投資者互動平臺提問：請問公司的Ai編程工具和高可信軟件方面，與倉頡編程語言合作嗎？應用方向是怎樣的？目前大多數(shù)云平臺都沒有支持到倉頡，公司的能支持嗎？開源以后能否受益？

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

（記者 王曉波）

免責聲明：本文內(nèi)容與數(shù)據(jù)僅供參考，不構成投資建議，使用前核實。據(jù)此操作，風險自擔。