您的位置： 专家智库 > >

中央级公益性科研院所基本科研业务费专项(JY10000903014)

作品数：1 被引量：2H指数：1
相关作者：周清雷朱维军张海宾更多>>
相关机构：西安电子科技大学郑州大学更多>>
发文基金：陕西省科技攻关计划河南省科技攻关计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇时序逻辑
  • 1篇投影时序逻辑
  • 1篇命题投影时序...
  • 1篇并发模型

机构

  • 1篇郑州大学
  • 1篇西安电子科技...

作者

  • 1篇张海宾
  • 1篇朱维军
  • 1篇周清雷

传媒

  • 1篇华中科技大学...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
命题投影时序逻辑并发建模与自动验证被引量：2
2010年
针对目前尚无模型检测方法对区间并发模型进行区间性质的自动验证的情况,采用命题投影时序逻辑中具有特定结构的一类公式来建立系统的区间并发模型,该逻辑的任意公式可以描述模型需要满足的区间性质,通过归约为已有的逻辑公式可满足性判定算法,证明了命题投影时序逻辑统一框架模型检测是可判定的,从而得到了其自动验证方法,并给出了一个验证实例.
朱维军张海宾周清雷
关键词：时序逻辑命题投影时序逻辑并发模型
全选 清除 导出
共1页<1>
聚类工具0