Promela file
This wizard creates a new Promela file with a default filename model.pml and opens it in the multi-page Promela Editor.
Select File > Other > Other > Promela file.
The file container must be entered or selected. The default filename can be changed.