×

zbMATH — the first resource for mathematics

A tutorial on UPPAAL. (English) Zbl 1105.68350
Bernardo, Marco (ed.) et al., Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13–18, 2004. Revised lectures. Berlin: Springer (ISBN 3-540-23068-8/pbk). Lecture Notes in Computer Science 3185, 200-236 (2004).
Summary: This is a tutorial paper on the tool UPPAAL. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns.
For the entire collection see [Zbl 1088.68002].

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Software:
Uppaal
PDF BibTeX XML Cite
Full Text: DOI