Tools Menu

The queries menu is used to save and load the requirement specification used in the verifier of UPPAAL. The items are:

• 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.
• Convert Syntax: assists in convering a system complying with the syntax used in UPPAAL 3.4 to the current syntax. The convertion is not perfect so the system needs to be carefully examined after conversion.
• Align to Grid: makes all existing objects of the current template align to the specified drawing grid.