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

【文件属性】：

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

文件大小：291KB

文件格式：PDF

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

统一逻辑语义框架

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