UPPAAL--一种适合自动验证实时系统的工具

• 作者: 庄雷 张习勇 郭华
• 来源期刊: 科技与创新
• 关键词: UPPAAL 时间自动机 实时系统 模型检测 协议验证
• 年，卷（期）: 2006,（15）
• 所属期刊栏目: 信息安全
• 页码范围: 52-54,190
• 页数: 4页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2006.15.019

摘要

UPPAAL是一个基于时间自动机的自动验证工具,已成功地用于实时控制器和通信协议等实时系统的验证.本文介绍了UPPAAL的语法,语义和语用,列举了它的几种扩展形式,并归纳了其应用及研究现状.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭华	郑州大学理论计算机研究所	172	1120	17.0	27.0
2	庄雷	郑州大学理论计算机研究所	92	704	13.0	21.0
3	张习勇		8	41	2.0	6.0