From c95df54981cbaf1e9cb2775f98cb48fd4526d1f6 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:48:19 +0700 Subject: [PATCH] add chapter for formal verification --- hacking_tools/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/hacking_tools/README.md b/hacking_tools/README.md index 5d7bf71..2d76d5a 100644 --- a/hacking_tools/README.md +++ b/hacking_tools/README.md @@ -14,6 +14,7 @@ * **[visual explorers](visual_explorers)** * **[dynamic analysis](dynamic_analysis)** * **[hacking by chains](hacking_by_chains)** +* **[formal verification](formal_verification)**