每日經濟新聞 2024-06-26 15:01:39
每經AI快訊，有投資者在投資者互動平臺提問：請問公司高可信軟件是否可應用于華為倉頡語言？
科大國創（300520.SZ）6月25日在投資者互動平臺表示，公司自主研發的高可信軟件主要包括程序分析工具和程序驗證工具等原創軟件產品，通過對程序源代碼進行靜態的分析和驗證，實現高可信軟件智能驗證。公司將積極推動與相關方在編程語言分析、驗證等方面的合作。
(記者 王可然)
免責聲明：本文內容與數據僅供參考，不構成投資建議，使用前核實。據此操作，風險自擔。
如需轉載請與《每日經濟新聞》報社聯系。
未經《每日經濟新聞》報社授權，嚴禁轉載或鏡像，違者必究。
讀者熱線：4008890008
特別提醒：如果我們使用了您的圖片，請作者與本站聯系索取稿酬。如您不希望作品出現在本站，可聯系我們要求撤下您的作品。
歡迎關注每日經濟新聞APP
Copyright ? 2025 每日經濟新聞報社版權所有，未經許可不得轉載使用，違者必究。
廣告熱線? 北京: 010-57613265，?上海: 021-61283008，?廣州: 020-84201861，?深圳: 0755-83520159，?成都: 028-86512112
