File Menu

The leftmost menu of the menu bar is the file menu. It is mainly used to open and save system descriptions created in the system editor. The items of the file menu are:

Open Project: loads a system description into the editor, simulator and verifier. The corresponding requirement specification (i.e. same file name but with the suffix .q) is loaded into the verifier.
New System: re-initiates the editor with an empty system.
Open System: loads an existing system from file.
Save System: saves the system in the editor to file.
Save System As: saves the system in the editor to a specified file.
Check Syntax: checks if syntax and types are correct in the edited system. Any found errors and warnings are listed in the lower part of the drawing area of the system editor, and (when applicable) underlinded in the automata.
Load from Editor: uploads the system currently loaded in the editor, to the simulator and the verifier.
Exit: exits UPPAAL.

File formats

UPPAAL supports three file formats:

XML: The newest format is XML based and files in this format have the ending .xml. This format supports all features of UPPAAL.
XTA: The XTA format was introduced in the 3.0 version of UPPAAL. This format can only reliably store syntactically correct systems. Anonymous locations are not supported by this format (UPPAAL automatically assigns a unique name to anonymous locations when saved to an XTA file). Graphical information (coordinates) about the objects are stored in a separate UGI file, although this is transparent to the user. XTA files use the ending .xta and UGI files the ending .ugi.
TA: The TA format is a subset of the XTA format and does not support the template concept nor does it contain any graphical information about the system. UPPAAL 3.4 can no longer save files in this format, although TA files can still be read.

XML and XTA files can be loaded and stored via the Open Project, Open System, Save System, and Save System As menus. When saving a file, the file type can be selected in the Files of type field.