论文研究-离散时间区间时序逻辑模型检查 .pdf

【文件属性】：

文件名称：论文研究-离散时间区间时序逻辑模型检查 .pdf

文件大小：319KB

文件格式：PDF

更新时间：2022-09-04 05:32:17

离散时间区间时序逻辑

离散时间区间时序逻辑模型检查，朱维军，段振华，目前还没有模型检查的方法自动检测时间自动机模型是否满足时间区间时序逻辑描述的性质。我们约束时间域到离散时间，证明了离散时