• <kbd id="yqwgi"><tr id="yqwgi"></tr></kbd>
  • <source id="yqwgi"></source>
    <li id="yqwgi"><rt id="yqwgi"></rt></li>
  • 客戶端
    微 信

    證券日報微信

    微 博

    證券日報微博

    您所在的位置： 網站首頁 > 公司產業 > 公告快訊 > 正文

    科大國創：公司高可信軟件已在航天航空、軍工交通、汽車電子等領域實現應用

    2025-07-11 20:11  來源：證券日報網 

        證券日報網訊 ?科大國創7月11日發布公告，在公司回答調研者提問時表示，高可信軟件是公司自主研發的面向程序分析和形式驗證領域的基礎工具軟件，主要采用符號執行、定理證明等形式化技術，在代碼級別或系統級別進行靜態分析、動態分析和程序驗證，以提供準確而全面的軟件評估，從而幫助程序研發與測試人員檢測和糾正潛在的錯誤、程序數據與信息的安全問題、潛在的邏輯漏洞和缺陷，確保軟件的質量和可靠性。目前公司高可信軟件已在航天航空、軍工交通、汽車電子等領域實現應用，并持續為公司數字化新能源產品的安全可靠保駕護航。

    （編輯 王江浩）

    -證券日報網
    • 熱點新聞
    險資長周期考核機制落地 A股有望迎萬億元級增量資金
    讓更多硬科技“金種子”破土拔節
    工業機器人駛向高質量發展新藍海
    創業板綜編制方案優化 7家基金公司火速申報相關ETF產品
    • 24小時排行 一周排行
    • 深度策劃

    5年后再啟航 全面實施自貿區提升戰略

    自貿試驗區作為我國對外開放的重要窗口……[詳情]

    • 市場快訊
    18:31 長周期考核提升險資投資穩定性和積...
    11:47 西部創業預計上半年凈利潤同比增長...
    11:11 上證指數刷新9個月新高 多因素支撐...
    11:11 穩定幣概念熱度持續升溫 行業迎來...
    11:11 一汽解放場景化落地與生態協同 新...
    11:10 多舉措應對經營壓力 瓦軸B預計上...
    10:45 金健米業發力面制品及休閑食品 上...
    10:43 景區游客接待量增長 桂林旅游預計2...
    10:36 內生發展及外延并購共驅 重藥控股...
    10:36 仙琚制藥布局呼吸系統用藥 噻托溴...
    10:35 一鳴食品子公司獲增資1.2億元 引入...
    10:34 金田股份預計上半年凈利潤達3.4億...
    国产精品传媒99一区二区_国产高潮抽搐喷水高清_精品国产一区二区三区AV蜜_国产麻豆剧传媒精品国产AV
  • <kbd id="yqwgi"><tr id="yqwgi"></tr></kbd>
  • <source id="yqwgi"></source>
    <li id="yqwgi"><rt id="yqwgi"></rt></li>

  • 版權所有《證券日報》社有限責任公司

    互聯網新聞信息服務許可證 10120240020增值電信業務經營許可證 京B2-20250455

    京公網安備 11010602201377號京ICP備19002521號

    證券日報網所載文章、數據僅供參考，使用前務請仔細閱讀法律申明，風險自負。

    證券日報社電話：010-83251700網站電話：010-83251800

    網站傳真：010-83251801電子郵件：xmtzx@zqrb.net

    官方客戶端

    安卓

    IOS

    官方微信

    掃一掃，加關注

    官方微博

    掃一掃，加關注