基于有穷论域下区间时序逻辑的模型检测研究
李超
西安邮电大学计算机学院 西安 710061
摘要：通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动机进行系统建模的方法.最终实现了一个基于有穷论域区间时序逻辑的模型检测工具.
关键词：区间时序逻辑模型检测自动机
分类号：TP301.1(计算技术、计算机技术)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 1302-1305,1451 )
英文信息