商品分类

图书

影音

共有1个搜索结果

模型检测
所属分类：电子电脑>>电工无线电自动化>>自动化技术作者：(美)Edmund M.Clarke//Orna Grumberg//Doron A.Peled|译者:吴尽昭//何安平//高新岩出版社：电子工业
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。Edmund M.Clarke， Orna Grumberg，Doron A.Peled著的《模型检测》共分18章，涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV 模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限簇、实时系统验证等。本书既适合从事计算机科学、电子科学、电气工程、工业制造等复杂系统研究的科研人员阅读，也适合系统管理、测试部门的企事业单位人员作为参考用书。
售价：27.60