模型检测_电子书PDF格式百度云网盘下载
作者：[美]EdmundM.ClarkeJr.（埃德蒙·M.克拉克）等著，吴尽昭等译
ISBN：9787121352744
出版社：电子工业出版社
出版日期：2018-11-01
市场价：69.00
内容简介
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
编辑推荐
适读人群 ：本书既适合从事计算机科学、电子科学、电气工程、工业制造等复杂系统研究的高等院校科研人员和研究生阅读，也适合系统管理、测试部门的企事业单位人员作为参考用书。
*全面介绍模型检测原理与与实践方法。
*对模型检测领域的核心问题进行了清晰的阐述。
作者简介
Edmund M.Clarke教授，美国卡内基 ? 梅隆大学计算机科学系教授，并且是ACM和IEEE会士。他在软硬件验证、自动定理证明、形式方法等方面享有崇高的国际声誉，2007年获得ACM图灵奖。
吴尽昭，广西大学副校长，长期从事高效能高可信计算与推理理论与工具的研究和开发，研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用；在国内外学术刊物和国际会议论文集上发表研究论文107篇，出版专著3部，获得软件著作权6项，申请专利3项；近年来承担国家自然科学基金、863、973子课题等国家、省部级科研项目10余项。