论文研究基于命题投影时序逻辑的统一框架模型检查 .pdf

上传：wsrwsrriri 浏览： 11 推荐： 0 文件：.PDF 大小：291KB 上传时间：2020-07-17 08:10:30 版权申诉

基于命题投影时序逻辑的统一框架模型检查，朱维军，段振华，统一逻辑语义框架验证方法有利于从规范到实现的逐步求精；区间时序逻辑具有表达区间语义的能力和更强大的并发描述能力。然而在统