內容簡介
《"十二五"江蘇省高等學校重點教材·21世紀高等學校計算機專業實用規劃教材:形式化方法導論》共12章，靠前章概述形式化方法，第2章介紹形式化方法發展早期的經典內容，其餘部分共分3篇：上篇（第3～5章）為繫統建模篇，著重介紹遷移繫統、有窮自動機、Petri網等基本計算模型；中篇（第6和第7章）為形式規約篇，著重討論時序邏輯及其在並發繫統屬性描述的應用；下篇（第8～12章）為形式驗證篇，除介紹演繹證明方法外，著重介紹驗證並發、實時及混成繫統的各種模型檢測方法及相關驗證工具。全書提供了大量應用實例，每章後均附有習題。形式化方法是指有嚴格數學基礎的軟件和繫統開發方法，支持軟件與繫統的規約、設計、驗證與演化等活動。隨著軟件可信需求的不斷增長，形式化方法的重要性和關注度日益提高。
