您的位置： 专家智库 > >

贺志宏

作品数：2 被引量：2H指数：1
供职机构：南京大学更多>>
发文基金：国家自然科学基金国家科技支撑计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇时序逻辑
  • 2篇线性时序逻辑
  • 2篇SPIN
  • 2篇LTL
  • 1篇状态空间爆炸

机构

  • 2篇南京大学

作者

  • 2篇贺志宏
  • 1篇曾庆凯

传媒

  • 1篇计算机应用与...

年份

  • 1篇2014
  • 1篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于SPIN的LTL属性分解方法研究
随着信息科学技术的迅猛发展,软件被广泛应用在现代社会的各个领域,如何确保软件的安全可靠已经成为计算机科学领域共同关注的一个焦点问题。采用形式化方法对系统进行分析和验证,是构造可靠软件的一个重要途径,模型检测就是这些形式化...
贺志宏
关键词：线性时序逻辑状态空间爆炸
文献传递
基于SPIN的LTL属性分解方法研究被引量：2
2014年
提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模型上属性的检测转化成对复杂度较低的子模型上各子属性的分别检测。实验结果表明,该方法具有一定的有效性。
贺志宏曾庆凯
全选 清除 导出
共1页<1>
聚类工具0