UPPAAL Help on the Web

Welcome to the Web Help section of the Uppaal home page. The pages here are generated
from the Uppaal help pages, which are available from within the GUI (see Help menu).

You may browse the help files using the table of contents on the left, or start with the
introduction below.Make sure that you check out the New Features of Uppaal 4.0.


UPPAAL is a tool for modeling, validation and verification of real-time systems. It is appropriate for systems that can be modeled as a collection of non-deterministic processes with finite control structure and real-valued clocks (i.e. timed automata), communicating through channels and (or) shared data structures. Typical application areas include real-time controllers, communication protocols, and other systems in which timing aspects are critical.

The UPPAAL tool consists of three main parts:

The GUI is used for modelling, simulation, and verification. For both simulation and verification, the GUI uses the verification server. In simulation, the server is used to compute successor states. See also the section on setting up a remote server. The command line tool is a stand-alone verifier, appropriate for e.g. batch verifications.

More information can be found at the UPPAAL web site: www.uppaal.com.