时间自动机可达性分析算法的改进

• 作者: 庄雷 张松年 杜娟
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 时间自动机 可达性分析 后继
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 算法研究
• 页码范围: 44-46
• 页数: 3页
• 分类号: TP314
• 字数: 3411字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.10.014

摘要

模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证.本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄雷	郑州大学信息工程学院	92	704	13.0	21.0
2	杜娟	郑州大学信息工程学院	36	102	6.0	8.0
3	张松年	郑州大学信息工程学院	1	4	1.0	1.0