Promela - Programming language

Promela is a programming language created in 1997.

#1674on PLDB

27Years Old

109Repos

Tags: programming language
There are at least 109 Promela repos on GitHub
Early development of Promela happened in Bell Labs
The Google BigQuery Public Dataset GitHub snapshot shows 21 users using Promela in 21 repos on GitHub

Example from Riju:

active proctype main() {
  printf("Hello, world!\n");
}

Example from hello-world:

active proctype main(){
  printf("Hello World")
}

Language features

Feature	Supported	Example	Token
Strings	✓	"Hello world"	"
Print() Debugging	✓		printf