驗(yàn)證方法關(guān)鍵字列表
Linux 基金會(huì)透露未來(lái) Linux 內(nèi)核可能會(huì)引入形式驗(yàn)證
據(jù)悉，形式驗(yàn)證(Formal Verification)含義是根據(jù)某個(gè)或某些形式規(guī)范或?qū)傩?，使用?shù)學(xué)的方法證明其正確性或非正確性。 Jim 同時(shí)也說(shuō)，這是一個(gè)很困難的過(guò)程，目前還不能保證形式驗(yàn)證相關(guān)工作的具體時(shí)間表。
企業(yè)網(wǎng)版權(quán)所有?2010-2024 京ICP備09108050號(hào)-6
京公網(wǎng)安備 11010502049343號(hào)
