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

【文件属性】：

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

文件大小：350KB

文件格式：PDF

更新时间：2022-09-04 05:39:54

离散时间区间时序逻辑

离散时间区间时序逻辑统一框架模型检查，朱维军，段振华，统一逻辑语义框架验证方法有利于从规范到实现的逐步求精；区间实时逻辑具有描述和验证实时区间的能力。然而在统一逻辑模型检查中