diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index 87ea76c..f43aad7 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -2582,6 +2582,16 @@ pipi pikachu
 
 main :-
     write("Hello, world!"), nl.
+`,
+  },
+  promela: {
+    aliases: ["spin", "pml"],
+    name: "PROMELA",
+    main: "main.pml",
+    run: "spin main.pml",
+    template: `active proctype main() {
+  printf("Hello, world!\\n");
+}
 `,
   },
   pug: {
diff --git a/scripts/docker-install-phase3c.bash b/scripts/docker-install-phase3c.bash
index 164259a..18469ae 100755
--- a/scripts/docker-install-phase3c.bash
+++ b/scripts/docker-install-phase3c.bash
@@ -88,6 +88,9 @@ rlwrap
 # Prolog
 swi-prolog
 
+# Promela
+spin
+
 # PureScript
 libtinfo5