文件名称：Model Checking_ Theories, Techniques and Applications.pdf
文件大小：670KB
文件格式：PDF
更新时间：2023-03-08 12:15:32
模型检测 数理逻辑 操作系统
随着计算机软硬件系统 日益复杂 , 如何保证其正确性和可靠性成为日益紧迫的问题 在为此提出的诸 多理论和方法中, 模型检测 以其简洁明了和 自动化程度高而引人注 目 模型检测的研究大致涵盖以下 、 内容 模态 时序逻辑 模型检测算法及其时空效率 特别是空间效率 的改进以及支撑工具的研制