时间自动机与自动验证

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