导航

模型检测

著 者：（美）Edmund M. Clarke, Jr.（埃德蒙 ? M. 克拉克） 等
作 译 者：吴尽昭 等
出版时间：2018-11
字 数：346
页 数：240
版 次：01-01
开 本：16开 开
印 次：01-01
ISBN：9787121352744
所属分类：科技,计算机,计算机科学,
定价：69.0

立即购买 >

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

【返回】

导航     搜书     关于     联系     网上投稿     分享