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

📙 相关书籍

  1. 《自动测试技术》高清PDF 全书共12章。...
  2. 《测控系统原理与设计 第3版》高清PDF 本书全面系统地阐述了基于单片机的各类常见测控仪器或系统的整机原理和总体设计思想。内容包括：测控通道、主机及接口、测量数据处理、PID控制算法、监控程序设计、抗干扰技术、微机化测控系统设计及实例、测控系统新技术。...
  3. 《测控信号分析与处理》高清PDF 本书根据“测控技术及仪器”专业对信号分析处理的基本要求，系统讲述了信号分析与处理的基本原理与方法。重点介绍了确定性信号的频谱分析与滤波技术，并对随机信号的分析与处理方法进行介绍。...
  4. 《测控系统故障检测与诊断》高清PDF 本书主要介绍了测控系统的可靠性分析、测控系统故障模型化与参数化、故障诊断中的相关分析法等内容。...
  5. 《智能化检测系统及仪器》高清PDF 本书解述了智能化检测系统及仪器的设计方法，主要内容包括导论、信号通道、人机交流系统、系统总线和通信接口、常见的智能处理功能、常见模拟量信号的检测方法、智能化测试系统设计举例和附录共8个部分。...
  6. 《测试系统技术》高清PDF 高等学校仪器仪表及自动化类专业规划教材:本书介绍了测试系统的软、硬件构成，系统设计及对系统的相关维护等知识。...
  7. 《自动检测技术与装置》高清PDF 《自动检测技术与装置》（第三版）一书以信息为主线，从信息的获取、变换与处理和输出与显示等角度，介绍检测技术、检测仪表和检测系统。书中首先介绍了检测技术的一般概念和检测仪表的共性知识，包括测量误差、准确度等；然后介绍各种检测元件的检测原理和使用特点；接着重点介绍各种常见参数的检测方法和检测仪表；最后简......
  8. 《Büchi自动机模型检测及其安全性分析应用研究》高清PDF 本书在讲解模型检测基础理论与基本方法的基础上，主要介绍作者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型......
  9. 《测控系统综合实验教程》高清PDF 本书针对测控技术与仪器专业的课程体系中, 实践环节是非常重要的一个组成部分, 涵盖了误差理论与数据处理、传感器原理及应用、光电信息技术、测控电路设计、自动控制元件、液压与气动技术、计算机控制技术等课程实验。...
  10. 《模型检测》高清PDF 模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。