计算树逻辑特性模式研究

• 作者: 周慧
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 计算树逻辑 特性模式 模型检查
• 年，卷（期）: 2009,（23）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 68-70
• 页数: 3页
• 分类号: TP311
• 字数: 2616字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.23.024

摘要

模型检查是系统验证的有效方法,在验证过程中需要对系统待检验特性用时态逻辑公式进行刻画,然后在模型检查工具中进行检验.介绍计算树逻辑的语法及语义,根据计算树逻辑中特性模式的划分及作用范围给出计算树逻辑常见的特性模式,包括缺失性模式、存在性模式、普遍性模式、优先性模式和跟随性模式等.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周慧	九江学院商学院	4	13	2.0	3.0