Cover is for reference only

Please scan the QR code to borrow online

点击进行网借

模型检测 = Model checking

Saved in:
Bibliographic Details
Main Authors: 美 克拉克 Clarke, Edmund M (著); 美 Grumberg Orna (著); 美 Peled Doron A (著)
Group Author: 吴尽昭 (1965-) (译); 何安平 (译); 高新岩 (1976-) (译)
Published: 电子工业出版社
Publisher Address: 北京
Publication Dates: 2018
Literature type: Book
Language: Chinese
Subjects:
自动检测系统
Carrier Form: 11,225页: 图 ; 24cm
ISBN: 978-7-121-35274-4
Index Number: TP274
CLC: TP274
Call Number: TP274/4254-1
Contents: 本书共分18章，涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限簇、实时系统验证等。

Related Book Recommendations