基于有穷论域下区间时序逻辑的模型检测研究

• 作者: 李超
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 区间时序逻辑 模型检测 自动机
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 算法与分析
• 页码范围: 1302-1305,1451
• 页数: 5页
• 分类号: TP301.1
• 字数: 3649字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2018.07.007

摘要

通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动机进行系统建模的方法.最终实现了一个基于有穷论域区间时序逻辑的模型检测工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李超	西安邮电大学计算机学院	7	19	2.0	4.0