模型檢測
埃德蒙·M.克拉克 (Edmund M. Clarke,Jr.), 等
- 出版商: 電子工業
- 出版日期: 2018-11-01
- 定價: $414
- 售價: 7.9 折 $327
- 語言: 簡體中文
- 頁數: 240
- 裝訂: 平裝
- ISBN: 7121352745
- ISBN-13: 9787121352744
立即出貨 (庫存 < 4)
買這商品的人也買了...
-
$450$405 -
$280$238 -
$300$255 -
$1,250$1,188 -
$3,980$3,781 -
$594基於 NiosⅡ 的嵌入式 SoPC 系統設計與 Verilog 開發實例 (Embedded SoPC Design with Nios II Processor and Verilog Examples)
-
$234致命Bug 軟件缺陷的災難與啟示
-
$594Linux 防火牆, 4/e (Linux Firewalls: Enhancing Security with nftables and Beyond, 4/e)
-
$580$458 -
$580$568 -
$450$356 -
$420$399 -
$403基於模型的測試:一個軟件工藝師的方法
-
$474$450 -
$740$725 -
$400$340 -
$400$316 -
$450$383 -
$250$213 -
$400$316 -
$479$455 -
$460$391 -
$390$382 -
$500$475 -
$600$468
初夏簡體電腦展2書75折 詳見活動內容 »
-
79折
$284一本書玩轉 DeepSeek -
VIP 95折
$774$735 -
79折
$379AI全能助手 人人都能玩轉DeepSeek -
$834射頻微電子學 (原書第二版)
-
VIP 95折
$359$341 -
VIP 95折
$419$398 -
79折
$378DeepSeek 極速上手 : 高效做事不內耗 -
85折
$250DeepSeek 應用能手 : 7天從入門到精通 -
VIP 95折
$359$341 -
VIP 95折
$659$626 -
VIP 95折
$599$569 -
VIP 95折
$359$341 -
VIP 95折
$324$308 -
VIP 95折
$299$284 -
VIP 95折
$419$398 -
85折
$305DeepSeek公文寫作一本通 -
85折
$152AI 導航式提問法 : 用好 DeepSeek 與元寶的高效提問手冊 -
85折
$403DeepSeek全場景應用 -
85折
$45424小時精通 AI Agent (快速定製你的智能體) -
79折
$378Joy RL:強化學習實踐教程 -
85折
$357大模型應用開發極簡入門(基於DeepSeek雙色版) -
VIP 95折
$774$735 -
VIP 95折
$594$564 -
VIP 95折
$588$559 -
VIP 95折
$534$507
相關主題
商品描述
模型檢測是一種用於自動驗證有限狀態並發系統的技術,與基於模擬、測試和演繹推理的傳統技術相比,具有許多方面的優勢。本書共分18章,涵蓋的主要內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時系統驗證,同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。