diff --git a/readme.md b/readme.md
index 934ef86..63dc895 100644
--- a/readme.md
+++ b/readme.md
@@ -759,7 +759,7 @@
 - [Playwright](https://github.com/mxschmitt/awesome-playwright#readme) - Node.js library to automate Chromium, Firefox and WebKit with a single API.
 - [Quality Assurance Roadmap](https://github.com/fityanos/awesome-quality-assurance-roadmap#readme) - How to start & build a career in software testing.
 - [Gatling](https://github.com/aliesbelik/awesome-gatling#readme) - Open-source load and performance testing framework based on Scala, Akka, and Netty.
-- [Formal Methods](https://github.com/ElNiak/awesome-formal-verification) - Formal verification/model checking techniques and tools for software and hardware.
+- [Formal Methods](https://github.com/ElNiak/awesome-formal-verification#readme) - Formal verification/model checking techniques and tools for software and hardware.
   
 ## Miscellaneous