摘要:形式化方法是建立在邏輯演算、形式語言、自動機理論、程序語義、類型系統等理論基礎之上,對計算系統進行描述和分析的一系列符號與技術的集合。形式化方法可指導軟/硬件系統的規約、設計和驗證,是改善和確保計算系統質量的重要方法。歷史上,形式化方法在硬件和協議驗證方面取得巨大成功。
注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社。
軟件學報雜志, 月刊,本刊重視學術導向,堅持科學性、學術性、先進性、創新性,刊載內容涉及的欄目:理論計算機科學、系統軟件與軟件工程、模式識別與人工智能、數據庫技術、計算機網絡與信息安全、計算機體系結構等。于1990年經新聞總署批準的正規刊物。