Click to see larger image.
The Navigator is used for the overall handling of your embedded development project. From here you can launch the other modules of visualSTATE® and you can specify settings for the Verificator and the Coder.
The Navigator contains a tree browser where you can see the file structure of your workspace. A workspace is a file that contains one or more projects with systems and state chart files. The main window has links to support, documentation, release notes etc. and the bottom window shows the properties of the loaded workspace.
After creating a project in the Navigator you are ready to go to the Designer to draw your state machine models.