Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
暫譯: 參數化驗證的可判定性（分散計算理論合成講座）
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
- 出版商: Morgan & Claypool
- 出版日期: 2015-09-30
- 售價: $2,080
- 貴賓價: 9.5 折 $1,976
- 語言: 英文
- 頁數: 172
- 裝訂: Paperback
- ISBN: 1627057439
- ISBN-13: 9781627057431
海外代購書籍(需單獨結帳)
商品描述
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems
商品描述(中文翻譯)
經典的模型檢查問題是決定一個有限系統是否滿足某個規範，而參數化模型檢查的目標是決定在給定有限系統的情況下。
