mojtaba-eshghie/HighGuard

The runtime monitoring tool for smart contracts business logic.

语言：Jupyter Notebook · GitHub 星标：19 · Fork：3

话题：blockchain · dcr-graphs · dynamic-condition-response · high-level-properties · invariants · monitoring · runtime-monitoring · runtime-verification

在 GitHub 上查看原仓库