軟件形式化驗證專題前言
作者：賀飛; 張立軍 清華大學(xué)軟件學(xué)院; 北京100084; 北京信息科學(xué)與技術(shù)國家研究中心; 北京100084; 信息系統(tǒng)安全教育部重點實驗室; 北京100084; 中國科學(xué)院軟件研究所; 北京100190; 廣州智能軟件產(chǎn)業(yè)研究院; 廣東廣州511458
摘要：形式化方法是建立在邏輯演算、形式語言、自動機理論、程序語義、類型系統(tǒng)等理論基礎(chǔ)之上,對計算系統(tǒng)進行描述和分析的一系列符號與技術(shù)的集合。形式化方法可指導(dǎo)軟/硬件系統(tǒng)的規(guī)約、設(shè)計和驗證,是改善和確保計算系統(tǒng)質(zhì)量的重要方法。歷史上,形式化方法在硬件和協(xié)議驗證方面取得巨大成功。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社。
軟件學(xué)報雜志
軟件學(xué)報雜志， 月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅持科學(xué)性、學(xué)術(shù)性、先進性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：理論計算機科學(xué)、系統(tǒng)軟件與軟件工程、模式識別與人工智能、數(shù)據(jù)庫技術(shù)、計算機網(wǎng)絡(luò)與信息安全、計算機體系結(jié)構(gòu)等。于1990年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
- 北大期刊
- CSCD期刊
- 統(tǒng)計源期刊
- 1-3個月審核
