PROMELA


Also found in: Wikipedia.
AcronymDefinition
PROMELAProcess Meta Language