File Menu

New

Create a new automaton or a logic formula

Open

Open a file previously saved by GOAL or files exported from other tools. Currently, the following file formats are supported:

• GFF (GOAL File Format) files created by GOAL or some other compatible tool.
• Files exported from MoDeLLa with the argument "-n" specified.
• Files exported from LTL2Buchi with the argument "-o xml" specified.

Save

Save the automaton in the current window to its associated file.

Save As

Open a dialog to allow the user to choose a location and name for a file; once entered, save the automaton in the current window to that file.

Büchi to Promela

Translate the Büchi automaton in the current window into Promela code.

Dismiss Tab

Close a tab which will no longer be used.

Close

Close the current window.

Print

Print the automaton in the current window. You may choose to print it as a PDF file that can be used in handouts, slides, or papers.

Quit

Close all windows, and terminate GOAL.