Skip to main content.

GUI Reference

The UPPAAL graphical user interface consists of the following main parts:

These four parts as well as the system description language, the requirements specification language, and the items found in the menu bar and the tool bar of the main window are described in these help pages.