• <acronym id="mz9d1"><output id="mz9d1"></output></acronym>

    <sub id="mz9d1"><ol id="mz9d1"><nobr id="mz9d1"></nobr></ol></sub>
        1. <sup id="mz9d1"></sup>
          每日經(jīng)濟(jì)新聞
          互動

          每經(jīng)網(wǎng)首頁 > 互動 > 正文

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

          每日經(jīng)濟(jì)新聞 2022-11-08 16:29:44

          每經(jīng)AI快訊,有投資者在投資者互動平臺提問:貴司自研的高可信軟件是否可以兼容適用于華為倉頡?

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

          (記者 蔡鼎)

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

          如需轉(zhuǎn)載請與《每日經(jīng)濟(jì)新聞》報社聯(lián)系。
          未經(jīng)《每日經(jīng)濟(jì)新聞》報社授權(quán),嚴(yán)禁轉(zhuǎn)載或鏡像,違者必究。

          讀者熱線:4008890008

          特別提醒:如果我們使用了您的圖片,請作者與本站聯(lián)系索取稿酬。如您不希望作品出現(xiàn)在本站,可聯(lián)系我們要求撤下您的作品。

          歡迎關(guān)注每日經(jīng)濟(jì)新聞APP

          每經(jīng)經(jīng)濟(jì)新聞官方APP

          0

          0

          国产日本精品在线观看_欧美日韩综合精品一区二区三区_97国产精品一区二区三区四区_国产中文字幕六九九九
        2. <acronym id="mz9d1"><output id="mz9d1"></output></acronym>

          <sub id="mz9d1"><ol id="mz9d1"><nobr id="mz9d1"></nobr></ol></sub>
              1. <sup id="mz9d1"></sup>
                色综合久久中文字幕综合网 | 日韩精品视频在线观看メイド | 日韩精品一区二区不卡的视频 | 亚洲一区波多野结衣在线 | 日本阿v片在线播放免费 | 亚洲A在线V免费观看 |