關(guān)于我們
書單推薦
新書推薦

模型檢測

模型檢測

定  價:69 元

        

  • 作者:(美)Edmund M. Clarke, Jr.(埃德蒙 ? M. 克拉克) 等
  • 出版時間:2018/11/1
  • ISBN:9787121352744
  • 出 版 社:電子工業(yè)出版社
  • 中圖法分類:TP274 
  • 頁碼:240
  • 紙張:
  • 版次:01
  • 開本:16開
9
7
3
8
5
7
2
1
7
2
4
1
4

讀者對象:本書既適合從事計算機科學、電子科學、電氣工程、工業(yè)制造等復(fù)雜系統(tǒng)研究的高等院?蒲腥藛T和研究生閱讀,也適合系統(tǒng)管理、測試部門的企事業(yè)單位人員作為參考用書。

模型檢測是一種用于自動驗證有限狀態(tài)并發(fā)系統(tǒng)的技術(shù),與基于模擬、測試和演繹推理的傳統(tǒng)技術(shù)相比,具有許多方面的優(yōu)勢。本書共分18章,涵蓋的主要內(nèi)容包括模型檢測的基本知識、模態(tài)邏輯、符號化技術(shù)、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時系統(tǒng)驗證,同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容