Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
- 出版商: Morgan & Claypool
- 出版日期: 2015-09-30
- 售價: $2,060
- 貴賓價: 9.5 折 $1,957
- 語言: 英文
- 頁數: 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