您的位置： 专家智库 > >

国家高技术研究发展计划(005AA113130)

作品数：1 被引量：1H指数：1
相关作者：王戟陈火旺刘万伟更多>>
相关机构：国防科学技术大学更多>>
发文基金：教育部“新世纪优秀人才支持计划”国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇自动机
  • 1篇计算机
  • 1篇计算机软件
  • 1篇TABLEA...
  • 1篇BÜCHI自...
  • 1篇CO
  • 1篇LTL

机构

  • 1篇国防科学技术...

作者

  • 1篇刘万伟
  • 1篇陈火旺
  • 1篇王戟

传媒

  • 1篇吉林大学学报...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于LTL Tableau的自动机构造被引量：1
2007年
基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。
刘万伟王戟陈火旺
关键词：计算机软件LTLTABLEAU
全选 清除 导出
共1页<1>
聚类工具0