模型检测理论方法与应用.PDF

第 期 电 子 学 报 创 〕年 月 , 卫 训〕 《 叉 模 型检测 理论 、 方法 与应用 林 惠 民 , 张文辉 中国科学 院软件研究所 , 北京 以洲〕 摘 要 随着计算机软硬件系统 日益复杂 , 如何保证其正确性和可靠性成为 日益 紧迫 的 问题 在为此提 出的诸 理 和方法 , 型 测 以 明了和 自 程度 而 引人注 目 型检测 究 涵盖 以下 多 论 中 模 检 其简洁 动化 高 模 的研 大致 内容 态 逻 、 型 测算法 时空效 是空 的改 以及 工 研 这 面之 模 时序 辑 模 检 及其 率 特别 间效率 进 支撑 具 的 制 几个方 间有 着密切 的 内在联系 不 同模态 时序逻辑 的模型检测算法 的复杂性 不一样 , 优化算法往往是针对某些特定类型 的逻辑 面 加 以阐 , 后 的 进 公式 本文将就这几个方 分别 述 最 介绍该领域 新 展 关键词 系统可靠性 模态 时序逻辑 模 型检测 一 中图分类号 叨 弓 文献标识码