每經(jīng)AI快訊,7月22日,有投資者在投資者互動(dòng)平臺(tái)向科大國創(chuàng)(300520.SZ)提問,公司的AI編程工具和高可信軟件方面是否與倉頡編程語言合作,應(yīng)用方向如何,公司的軟件能否支持目前大多數(shù)云平臺(tái)未支持的倉頡,以及開源后能否受益。
對(duì)此,科大國創(chuàng)在投資者互動(dòng)平臺(tái)回應(yīng)稱,公司自主研發(fā)的高可信軟件主要包含程序分析工具和程序驗(yàn)證工具等原創(chuàng)軟件產(chǎn)品,通過對(duì)程序源代碼進(jìn)行靜態(tài)分析和驗(yàn)證,實(shí)現(xiàn)高可信軟件智能驗(yàn)證。同時(shí),公司將積極推動(dòng)與相關(guān)方在編程語言分析、驗(yàn)證等方面的合作。
相關(guān)標(biāo)簽:
Ai滾動(dòng)快訊重要提示: 以上內(nèi)容由AI根據(jù)公開數(shù)據(jù)自動(dòng)生成,僅供參考、交流、學(xué)習(xí),不構(gòu)成投資建議。如不希望您的內(nèi)容在本站出現(xiàn),可發(fā)郵件至ljcj@leju.com或點(diǎn)擊【聯(lián)系客服】要求撤下。未經(jīng)允許,任何單位或個(gè)人不得在任何平臺(tái)公開傳播使用本文內(nèi)容。
樂居財(cái)經(jīng)APP
?2017-2025 北京怡生樂居財(cái)經(jīng)文化傳媒有限公司 北京市朝陽區(qū)西大望路甲22號(hào)院1號(hào)樓1層101內(nèi)3層S3-01房間756號(hào) 100016
京ICP備2021030296號(hào)-2京公網(wǎng)安備 11010502047973號(hào)