郑涵
- 作品数:2 被引量:1H指数:1
- 供职机构:贵州大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 模型检测空间分解分布式算法的优化与研究
- 2016年
- 模型检测对于系统的校验有着适用范围广、自动化验证程度高、验证速度快等优势。但是其状态爆炸问题制约了其应用,使用分布式技术缓解状态爆炸问题引来了新的问题——如何对状态空间进行分解。本文介绍了分布式SCC分解的两个算法:FB与MP-MS算法,并在其基础上,引入了OWCTY技术,对算法进行优化。通过实验,证明优化后的算法有着更高的效率和更小的时间开销,对于缓解状态爆炸问题有着重要的意义。
- 潘怀宇龙士工郑涵
- 关键词:分布式技术
- 基于DivinE的分布式模型检测及协议验证被引量:1
- 2016年
- 模型检测是一个高效且简单的方法来检测一个并发程序是否满足一个时序逻辑公式,它基于对系统状态空间的穷举搜索,通常采用深度优先搜索算法(DFS)。然而由于DFS算法固有的连续性,并且需要用到某些数据结构和同步机制,使得计算机的资源被大量的消耗,因此长期存在状态空间爆炸的问题。本文通过改进传统的DFS算法,利用DivinE工具,使状态空间爆炸问题能够在分布式环境下得到缓解。
- 郑涵龙士工潘怀宇刘照祥
- 关键词:DFS分布式