时态逻辑描述能力比较研究

• 作者: 缪淮扣 黎升洪
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 时态逻辑 模型检查 CTL* LTL
• 年，卷（期）: 2006,（22）
• 所属期刊栏目: 学术探讨
• 页码范围: 75-77
• 页数: 3页
• 分类号: TP18
• 字数: 3160字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.22.023

摘要

时态逻辑在软件确认和模型检查中有广泛的应用.时态逻辑的不同变体有不同描述能力.正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性.论文从语法、语义域定义和语法到语义域映射三个方面对不同时态逻辑加以描述,对时态逻辑描述能力进行了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	黎升洪	上海大学计算机工程与科学学院	3	37	3.0	3.0