模型检测

模型检测

(美) 埃德蒙·M.克拉克, 等著

出版社:电子工业出版社

年代:2018

定价:69.0

书籍简介:

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

书籍规格:

书籍详细信息
书名模型检测站内查询相似图书
9787121352744
如需购买下载《模型检测》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位电子工业出版社
版次1版印次1
定价(元)69.0语种简体中文
尺寸24 × 19装帧平装
页数印数

书籍信息归属:

模型检测是电子工业出版社于2018.11出版的中图分类号为 TP274 的主题关于 自动检测系统 的书籍。