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.