證券日?qǐng)?bào)網(wǎng)訊 ?科大國(guó)創(chuàng)7月11日發(fā)布公告，在公司回答調(diào)研者提問時(shí)表示，高可信軟件是公司自主研發(fā)的面向程序分析和形式驗(yàn)證領(lǐng)域的基礎(chǔ)工具軟件，主要采用符號(hào)執(zhí)行、定理證明等形式化技術(shù)，在代碼級(jí)別或系統(tǒng)級(jí)別進(jìn)行靜態(tài)分析、動(dòng)態(tài)分析和程序驗(yàn)證，以提供準(zhǔn)確而全面的軟件評(píng)估，從而幫助程序研發(fā)與測(cè)試人員檢測(cè)和糾正潛在的錯(cuò)誤、程序數(shù)據(jù)與信息的安全問題、潛在的邏輯漏洞和缺陷，確保軟件的質(zhì)量和可靠性。目前公司高可信軟件已在航天航空、軍工交通、汽車電子等領(lǐng)域?qū)崿F(xiàn)應(yīng)用，并持續(xù)為公司數(shù)字化新能源產(chǎn)品的安全可靠保駕護(hù)航。

（編輯 王江浩）