Skip to main content.

GUI Reference

The UPPAAL graphical user interface consists of three main parts:

These three 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.