一种基于时间自动机的时钟等价性优化方法

• 作者: 古天龙 赵岭忠 钱俊彦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 模型检验 时间自动机 域自动机 时态逻辑
• 年，卷（期）: 2005,（18）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 71-73
• 页数: 3页
• 分类号: TP301.1
• 字数: 3420字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.18.025

摘要

提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机.优化时钟等价规则,在一定程度上有效地解决了状态空间爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	钱俊彦	桂林电子工业学院计算机系	86	238	9.0	10.0
3	赵岭忠	桂林电子工业学院计算机系	64	229	8.0	11.0