模型檢測
埃德蒙·M.克拉克 (Edmund M. Clarke,Jr.), 等
- 出版商: 電子工業
- 出版日期: 2018-11-01
- 定價: $414
- 售價: 8.5 折 $352
- 語言: 簡體中文
- 頁數: 240
- 裝訂: 平裝
- ISBN: 7121352745
- ISBN-13: 9787121352744
立即出貨 (庫存 < 4)
買這商品的人也買了...
-
$450$405 -
$2,880$2,736 -
$1,200$1,140 -
$4,490$4,266 -
$301ModelSim 電子系統分析及模擬(第2版)
-
$484使用AADL的模型基工程--SAE體系結構分析和設計語言入門
-
$199致命Bug 軟件缺陷的災難與啟示
-
$403Linux 防火牆, 4/e (Linux Firewalls: Enhancing Security with nftables and Beyond, 4/e)
-
$580$406 -
$806C++ Templates, 2/e (英文版)
-
$450$356 -
$403基於模型的測試:一個軟件工藝師的方法
-
$474$450 -
$740$725 -
$400$340 -
$560$476 -
$1,194$1,134
商品描述
模型檢測是一種用於自動驗證有限狀態並發系統的技術,與基於模擬、測試和演繹推理的傳統技術相比,具有許多方面的優勢。本書共分18章,涵蓋的主要內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時系統驗證,同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。