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

作者：郭华; 庄雷; 张习勇

来源：微计算机信息, 2006, (15): 52-54+190.

• UPPAAL
• 时间自动机
• 实时系统
• 模型检测
• 协议验证 UPPAAL
• timed automata
• real-time system
• model checking
• protocol verification.

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

• 出版日期2006
• 单位郑州大学; 中国人民解放军信息工程大学