Menu Bar

The menu bar is located in the upper part of the main window. It contains the following menu times:

• File - to manage system description files,
• Templates - to manage process templates,
• View - to change the apperance of the editor and the simulator,
• Queries - to manage requirement specification files,
• Options - to set the options contolling the behaviour of the verifier,
• Help - to show the help pages.