diff --git a/README.md b/README.md
index 4e5d86e..f57a1a6 100644
--- a/README.md
+++ b/README.md
@@ -18,6 +18,7 @@
 * **[static analysis](hacking_tools/static_analysis)**
 * **[dynamic analysis](hacking_tools/dynamic_analysis)**
 * **[hacking by chains](hacking_tools/hacking_by_chains)**
+* **[formal verification](hacking_tools/formal_verification)**
 
 <br>