扫一扫
关注中图网
官方微博
>
关于“EdmundM.Clark...”检索到 共1种现货商品
售价：
-
模型检测
¥51.1(7.4折)定价:¥69.0模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器...
