模型检测

模型检测 pdf epub mobi txt 电子书 下载 2025

[美] E.M.克拉克(Edmund M. Cla 著
想要找书就要到 静流书站
立刻按 ctrl+D收藏本页
你会得到大惊喜!!
店铺: 世纪摆渡人专营店
出版社: 电子工业出版社
ISBN:9787121272950
商品编码:25680011268
包装:平装
出版时间:2016-02-01

具体描述

基本信息

书名:模型检测

定价: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项。

文摘


工具书>百科全书

序言


工具书>百科全书


用户评价

评分

评分

评分

评分

评分

评分

评分

评分

评分

相关图书

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.coffeedeals.club All Rights Reserved. 静流书站 版权所有