格德·贝尔曼;亚历山大·戴维;Larsen，Kim G。 UPPAAL教程。 （英语） Zbl 1105.68350号 Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学课堂讲稿3185200-236（2004）。 摘要：这是一篇关于UPPAAL工具的教程论文。其目标是简要介绍该工具中实现的时间自动机的风格，展示其接口，并解释如何使用该工具。本文的贡献在于提供参考示例和建模模式。关于整个系列，请参见[Zbl 1088.68002号]. 引用于83文件 MSC公司： 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人，Lect。注释计算。科学。3185200-236（2004年；兹比尔1105.68350） 全文： 内政部