时间自动机与自动验证

摘要：

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

关键词：时间转换表、时间自动机、区域自动机、时间后继

所属期刊栏目：33

分类号：TP301.1(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：30-34