模型檢測
埃德蒙·M.克拉克 (Edmund M. Clarke,Jr.), 等
- 出版商: 電子工業
- 出版日期: 2018-11-01
- 定價: $414
- 售價: 7.9 折 $327
- 貴賓價: 7.5 折 $311
- 語言: 簡體中文
- 頁數: 240
- 裝訂: 平裝
- ISBN: 7121352745
- ISBN-13: 9787121352744
立即出貨 (庫存 < 4)
買這商品的人也買了...
-
Verilog - Testbench 數位電路測試程式設計$450$405 -
計算機結構－計量方法 (Computer Architecture: A Quantitative Approach, 5/e)$1,250$1,188 -
Systemverilog for Verification: A Guide to Learning the Testbench Language Features, 3/e (Hardcover)$3,800$3,610 -
$484使用AADL的模型基工程--SAE體系結構分析和設計語言入門 -
$199致命Bug 軟件缺陷的災難與啟示 -
$505Linux 防火牆, 4/e (Linux Firewalls: Enhancing Security with nftables and Beyond, 4/e) -
深入理解 Linux 程式設計：從應用到核心$580$458 -
$806C++ Templates, 2/e (英文版) -
圖解 Linux 核心工作原理｜透過實作與圖解學習OS與硬體的基礎知識$450$356 -
C程序設計語言, 2/e (習題解答)(典藏版)(The C Answer Book: Solutions to the Exercises in 'The C Programming Language, 2/e)$234$222 -
$352C指針原理揭秘：基於底層實現機制 -
基於模型的測試：一個軟件工藝師的方法$374$356 -
LLVM 編譯器實戰教程$474$450 -
數位邏輯設計, 6/e (Mano: Digital Design, 6/e)$740$725 -
零錯誤：全球頂尖企業都採用的科技策略$400$316 -
FPGA 設計技巧與案例開發詳解, 3/e$1,008$958 -
Google Apps Script 雲端自動化與動態網頁系統實戰 (附320分鐘影音教學/範例程式碼)$560$442 -
C語言深度解剖, 3/e$234$222 -
SoC FPGA 嵌入式設計和開發教程（Intel FPGA 大學計劃推薦，一線工程師實踐總結）$414$393 -
基於模型的系統工程有效方法$1,194$1,134 -
FPGA 設計實戰演練 (邏輯篇)$330$314 -
詳解 FPGA：人工智能時代的驅動引擎$354$336 -
Vivado / Tcl 零基礎入門與案例實戰$474$450 -
FPGA軟件測試技術$588$559 -
FPGA 可程式化邏輯設計實習：使用 Verilog HDL 與 Xilinx Vivado (第三版)(附範例光碟)$400$360
相關主題
商品描述
模型檢測是一種用於自動驗證有限狀態並發系統的技術，與基於模擬、測試和演繹推理的傳統技術相比，具有許多方面的優勢。本書共分18章，涵蓋的主要內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時系統驗證，同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。
