Promela file format
Readabletext
file format
Identify it
| Extensions | .pm.pml.pr.prm.prom.promela |
|---|---|
| MIME types | text/x-promela |
| Wikidata | Q130530984 |
Not sure your file is this? Identify it from its first bytes, in your browser.
Open it
- PygmentsOpen source
Convert it
No conversion recorded. One of the tools above may export it; search for a chain.
Sources
From Wikidata. Updated 2026-10-20.