diff --git a/README.md b/README.md
index c6544305..9f109f68 100755
--- a/README.md
+++ b/README.md
@@ -440,6 +440,7 @@ Meet [FizzBuzz](https://github.com/zenware/FizzBuzz), the evolution of [hello-wo
 * [Powershell](p%5Cpowershell.ps1)
 * [Processing](p%5Cprocessing.pde)
 * [Prolog](p%5Cprolog.pro)
+* [Promela](p%5Cpromela.pml)
 * [Pug](p%5Cpug.pug)
 * [Pure Data](p%5Cpure_data.pd)
 * [Purebasic](p%5Cpurebasic.pb)
diff --git a/p/promela.pml b/p/promela.pml
new file mode 100644
index 00000000..4dc3a9b8
--- /dev/null
+++ b/p/promela.pml
@@ -0,0 +1,3 @@
+active proctype main(){
+  printf("Hello World")
+}