模型檢測

埃德蒙·M.克拉克 (Edmund M. Clarke,Jr.), 等

  • 出版商: 電子工業
  • 出版日期: 2018-11-01
  • 售價: $414
  • 貴賓價: 9.5$393
  • 語言: 簡體中文
  • 頁數: 240
  • 裝訂: 平裝
  • ISBN: 7121352745
  • ISBN-13: 9787121352744

立即出貨 (庫存 < 4)

買這商品的人也買了...

商品描述

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