From 9c661549cf8822c752d98db076df8b1633dddce9 Mon Sep 17 00:00:00 2001 From: autistic-symposium-helper <138340846+autistic-symposium-helper@users.noreply.github.com> Date: Mon, 4 Nov 2024 18:47:41 +0700 Subject: [PATCH] add chapter for formal verification --- README.md | 1 + 1 file changed, 1 insertion(+) 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)**