Queries Menu

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

• New Queries: re-initiates the requirement specification editor with an empty file.
• Open Queries: loads an existing set of requirement specifications from file.
• Save Queries: saves the requirement specifications in the editor to file.
• Save Queries As: saves the requirement specifications in the editor to a specified file name.