diff --git a/readme.md b/readme.md
index 942383e9fb..8468268d60 100644
--- a/readme.md
+++ b/readme.md
@@ -791,7 +791,8 @@
 - [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.
+  
 ## Miscellaneous
 
 - [Scientific Writing](https://github.com/writing-resources/awesome-scientific-writing#readme) - Distraction-free scientific writing with Markdown, reStructuredText and Jupyter notebooks.