Uppaal in a nutshell. (English) Zbl 1060.68577

Larsen, Kim G.; Pettersson, Paul; Yi, Wang

Int. J. Softw. Tools Technol. Transf. 1, No. 1-2, 134-152 (1997).

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

Keywords:

modeling real-time systems; dynamic modeling; modeling tools; UPPAAL

Software:

Uppaal