国家自然科学基金(60273025)
- 作品数：2 被引量：2H指数：1
- 相关作者：晏荣杰徐雨波张文亮唐稚松更多>>
- 相关机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于SCC空性检测中状态空间的缩减方法
- 2008年
- 对Couvreur提出的基于强连通图的空性检测算法进行改进,使基于嵌套的深度优先搜索与基于强连通图搜索算法的优势结合起来,在对基于迁移的扩展(具有多个可接受条件)Büchi自动机进行空性检测过程中,使用一个布尔变量标识一个状态,不仅节省了内存消耗,而且一般情况下的性能明显优于已有的算法,最坏情况等同于Couvreur的算法.同时反例寻找过程等同于基于强连通图的检测算法.
- 晏荣杰张文亮唐稚松
- 一种基于有限精度时间自动机的模型检测工具被引量：2
- 2006年
- 基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。
- 徐雨波晏荣杰
- 关键词：模型检测工具实时系统数据结构时间自动机
