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

【文件属性】：
文件名称：论文研究-离散时间区间时序逻辑统一框架模型检查 .pdf
文件大小：350KB
文件格式：PDF
更新时间：2022-09-04 05:39:54
离散时间区间时序逻辑 离散时间区间时序逻辑统一框架模型检查，朱维军，段振华，统一逻辑语义框架验证方法有利于从规范到实现的逐步求精；区间实时逻辑具有描述和验证实时区间的能力。然而在统一逻辑模型检查中