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

上传：weixin_39882200 浏览： 9 推荐： 0 文件：.PDF 大小：350KB 上传时间：2021-04-23 18:13:46 版权申诉

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