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

摘要：

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

关键词：时间自动机、可达性分析、后继

所属期刊栏目：29

分类号：TP314(计算技术、计算机技术)

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

页数：共3页

页码：44-46