Project

Creates a new project resource. The project is a container where Promela model(s) will be saved: select File > Other > General > Project > Next. The project name and the project location directory (if different from the default one) must be specified. The project may be added to the selected working sets. At the end click Finish.