好书推荐

好书推荐第八十九期:《模型检测》

2021-08-01   来源:资源建设部,综合办公室

 
 
索 书 号 :TP274  40
ISBN :978-7-121-29295-0
责 任 者:(美)克拉克等著
出版社:电子工业出版社
中图分类号:TP274
主 题 词:自动检测系统
馆藏库:图书馆二楼重点专业阅览室
 
导 读
        模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证,同时介绍NuSMV和UPPAAL两个流行的模型检测器。
        本书既适合从事计算机科学、电子科学、电气工程、工业制造等复杂系统研究的高等院校科研人员和研究生阅读,也适合系统管理、测试部门的企事业单位人员作为参考用书。