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.