江西省教育厅科学技术研究项目(2005-90)
- 作品数：3 被引量：10H指数：2
- 相关作者：化志章薛锦云揭安全李云清吴传孙更多>>
- 相关机构：江西师范大学江西省高性能计算技术重点实验室更多>>
- 发文基金：国家自然科学基金江西省教育厅科学技术研究项目国家重大基础研究前期研究专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件模型检测新技术研究被引量：3
- 2007年
- 软件模型检测以其潜在的商业价值一直为学术界和工业界关注.本文通过剖析模型检测工具SLAM,探讨软件模型检测的机理、方法及若干核心技术,并总结出软件模型检测的一些新策略.
- 化志章吴传孙揭安全薛锦云
- 关键词：软件模型检测SLAM
- 形式推导支持的递归程序向非递归程序的转换被引量：5
- 2007年
- 本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。
- 化志章揭安全李云清薛锦云
- 关键词：PAR方法
- 一种自动的形式化验证技术——模型检测被引量：2
- 2007年
- 模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,已有许多工业应用.其主要缺陷是空间爆炸问题.本文通过一简单实例介绍其基本思想、检测步骤和相关理论,给出一些处理状态空间爆炸问题的优化技术,并与其它验证方法进行了比较,最后简单介绍了软件模型检测的新进展.
- 化志章揭安全薛锦云
- 关键词：时态逻辑
