Promela file

This wizard creates a new Promela file and opens it in the multi-page Promela Editor. Select File > Other > Other > Promela file > Next. The file container (or folder) must be entered or selected. You have to enter or select the file container (or folder), replace the '*' character with the file name (the file extension is already set to "pml"), and click Finish.