Project

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