基本信息

书名：模型检测

定价：69.00元

作者： E.M.克拉克（Edmund M. Clarke Jr.）,

出版社：电子工业出版社

出版日期：2016-02-01

ISBN：9787121272950

字数：

页码：236

版次：1

装帧：平装

开本：16开

商品重量：0.4kg

编辑推荐

工具书>百科全书

内容提要

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

目录

工具书>百科全书

作者介绍

Edmund M.Clarke教授，现任美国卡内基.梅隆大学计算机科学系教授，并且是ACM和IEEE会士。他在软硬件验证、自动定理证明、形式方法等方面享有崇高的国际声誉，2007年获得ACM图灵奖。
　　李刚，华北电力大学（保定）计算机系讲师，目前从事软件工程、建模与仿真、智能电网的信息化管理等方面的研究工作，主要内容是将计算机科学与技术的理论方法应用到电力系统的问题中，在智电网的故障诊断与预测方面，获得实用新型授权2项、计算机软件著作权1项。

文摘

工具书>百科全书

序言

工具书>百科全书