模型检测

（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译

作者（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译
出版社北京：电子工业出版社
标注页数223 页
文件页数235 页
文件大小62.41 MB
出版时间2015
ISBN9787121272950

内容简介

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。

发现好书期刊，享受阅读乐趣

模型检测