可能 LTL 模型检测的两种方法

• 作者: 李永明
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 模型检测 可能性理论 线性时序逻辑 语义 算法
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 21-25
• 页数: 5页
• 分类号: TP301.2
• 字数: 4416字
• 语种: 中文

摘要

引入了基于广义可能性测度 LTL 模型检测的基于路径和基于语言的两种语义，证明了其等价性。基于可能 LTL 公式语言等价的方法，给出基于广义可能性测度的 LTL 模型检测的算法和复杂性分析。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0