diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..b1f059df5460e86cc94fe61ae0c38d09e7670c1d
--- /dev/null
+++ b/README.md
@@ -0,0 +1,11 @@
+# Modeling and Verification of Lamport's Distributed Mutual Exclusion Algorithm
+
+TODO: add a useful description
+
+## Execution
+
+To run, use this one-liner:
+
+```maude
+maude test-node-preds.maude
+```