Promela is a programming language created in 1997.
#1673on PLDB | 27Years Old | 109Repos |
active proctype main() {
printf("Hello, world!\n");
}
active proctype main(){
printf("Hello World")
}
Feature | Supported | Example | Token |
---|---|---|---|
Strings | ✓ | "Hello world" | " |
Print() Debugging | ✓ | printf |