From 416e79936dfc8dd01d49330f7bacc3ed7418ad32 Mon Sep 17 00:00:00 2001 From: ElNiak Date: Thu, 8 Aug 2024 19:15:10 +0200 Subject: [PATCH] Update readme.md --- readme.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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.