袁志斌
- 作品数：4 被引量：13H指数：2
- 供职机构：华中科技大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 模拟的概念、计算及在自动机最小化上的应用
- 2007年
- 对B櫣chi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系,延迟模拟关系和公平模拟关系的概念,算法进行了比较,并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。
- 徐正权袁志斌王能超
- 关键词：自动机最小化
- 基于K-模拟的抽象
- 2007年
- 尽管近年来模型检测取得了很大的进步,但是对于大系统的验证能力依然有限。在众多的状态减少和压缩技术中,抽象技术是最有效的方法之一。本文给出了基于K-模拟的抽象的高效算法,并证明了在线性时序逻辑框架下抽象的可靠性和完备性。
- 袁志斌徐正权王能超
- 关键词：线性时序逻辑
- 基于模拟理论的模型检测研究
- 形式化验证是用严格的数学方法来证明系统设计是否满足规约的验证方法。近几年来基于模型检测的形式化验证工具的使用范围不断扩大,而且大量的实例证明了模型检测在发现问题方面的能力。可以说,模型检测是自动推理在计算机科学中最成功的...
- 袁志斌
- 关键词：BÜCHI自动机博弈
- 文献传递
- 软件模型检测中的抽象被引量：11
- 2006年
- 软件模型检测对保证软件的正确性和可靠性具有十分重要的意义,而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术,介绍了该领域的进展及研究方向。
- 袁志斌徐正权王能超
- 关键词：软件模型检测
