We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 868c995 commit 68fdd39Copy full SHA for 68fdd39
README.md
@@ -1,4 +1,4 @@
1
-## HighGuard: Monitoring High-Level Properties in Smart Contracts
+## HighGuard: Monitoring Smart Contracts Business Logic
2
3
<p align="center">
4
<img src="https://github.com/mojtaba-eshghie/Clawk/assets/37236297/4ea40602-3791-478b-b121-28f4cd9555a5" width="200" alt="HighGuard Logo">
0 commit comments