基本信息

書名：模型檢測

定價：69.00元

作者： E.M.剋拉剋（Edmund M. Clarke Jr.）,

齣版社：電子工業齣版社

齣版日期：2016-02-01

ISBN：9787121272950

字數：

頁碼：236

版次：1

裝幀：平裝

開本：16開

商品重量：0.4kg

編輯推薦

工具書>百科全書

內容提要

模型檢測是一種用於自動驗證有限狀態並發係統的技術，與基於模擬、測試和演繹推理的傳統技術相比，具有許多方麵的優勢。本書涵蓋的內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時係統驗證，同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。

目錄

工具書>百科全書

作者介紹

Edmund M.Clarke教授，現任美國卡內基.梅隆大學計算機科學係教授，並且是ACM和IEEE會士。他在軟硬件驗證、自動定理證明、形式方法等方麵享有崇高的國際聲譽，2007年獲得ACM圖靈奬。
　　李剛，華北電力大學（保定）計算機係講師，目前從事軟件工程、建模與仿真、智能電網的信息化管理等方麵的研究工作，主要內容是將計算機科學與技術的理論方法應用到電力係統的問題中，在智電網的故障診斷與預測方麵，獲得實用新型授權2項、計算機軟件著作權1項。

文摘

工具書>百科全書

序言

工具書>百科全書