diff --git a/docs/GLOSSARY.md b/docs/GLOSSARY.md
new file mode 100644
index 000000000..32e5f4690
--- /dev/null
+++ b/docs/GLOSSARY.md
@@ -0,0 +1,9 @@
+# Glossary
+
+**Specification** — A formal description of system behavior.
+
+**Model checking** — Automated verification of system properties.
+
+**Invariant** — A condition that must always hold true.
+
+This glossary is intended to help new readers understand core concepts.