#

high-level-properties

Here is 1 public repository matching this topic...

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts business logic.

monitoring smart-contracts blockchain invariants runtime-verification runtime-monitoring smart-contracts-audit smart-contracts-security dynamic-condition-response dcr-graphs high-level-properties smart-contract-invariants

Updated Dec 15, 2024
Jupyter Notebook

Improve this page

Add a description, image, and links to the high-level-properties topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the high-level-properties topic, visit your repo's landing page and select "manage topics."