×

zbMATH — the first resource for mathematics

Uppaal in a nutshell. (English) Zbl 1060.68577
Summary: The paper presents the overall structure, the design criteria, and the main features of the tool box UPPAAL. It gives a detailed user guide which describes how to use the various tools of UPPAAL version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its satefy and bounded liveness properties in terms of its model. In addition, the paper also provides a short review on case-studies where UPPAAL is applied, as well as references to its theoretical foundation.

MSC:
68N99 Theory of software
Software:
Uppaal
PDF BibTeX XML Cite
Full Text: DOI