From 9a13904d0fbb6a5378e5c769dd2d64f194cbc410 Mon Sep 17 00:00:00 2001 From: ElNiak Date: Wed, 22 Jan 2025 15:13:55 +0100 Subject: [PATCH] Update readme.md --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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