PROMELA


AcronymDefinition
PROMELAProcess Meta Language