GitHub_collection_hello-world/p/promela.pml

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