您的位置： 专家智库 > >

刘照祥

作品数：1 被引量：1H指数：1
供职机构：贵州大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇分布式
  • 1篇DFS

机构

  • 1篇贵州大学

作者

  • 1篇龙士工
  • 1篇郑涵
  • 1篇潘怀宇
  • 1篇刘照祥

传媒

  • 1篇贵州大学学报...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于DivinE的分布式模型检测及协议验证被引量：1
2016年
模型检测是一个高效且简单的方法来检测一个并发程序是否满足一个时序逻辑公式,它基于对系统状态空间的穷举搜索,通常采用深度优先搜索算法(DFS)。然而由于DFS算法固有的连续性,并且需要用到某些数据结构和同步机制,使得计算机的资源被大量的消耗,因此长期存在状态空间爆炸的问题。本文通过改进传统的DFS算法,利用DivinE工具,使状态空间爆炸问题能够在分布式环境下得到缓解。
郑涵龙士工潘怀宇刘照祥
关键词：DFS分布式
全选 清除 导出
共1页<1>
聚类工具0