时间自动机与自动验证

• 作者: 宋煌 庄雷 苏锦祥 郑丽萍
• 来源期刊: 郑州大学学报(自然科学版)
• 学科: 工学
• 关键词: 时间转换表 时间自动机 区域自动机 时间后继
• 年，卷（期）: 2001,（2）
• 页码范围: 30-34
• 页数: 5页
• 分类号: TP301.1
• 字数: 3850字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-6841.2001.02.007

摘要

给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄雷	郑州大学计算机科学系	92	704	13.0	21.0
2	苏锦祥	郑州大学计算机科学系	6	34	3.0	5.0
3	宋煌	郑州大学计算机科学系	2	22	2.0	2.0
4	郑丽萍	郑州大学计算机科学系	2	10	2.0	2.0