Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "high-level-properties"

mojtaba-eshghie/HighGuard

HighGuard is a runtime monitoring tool for monitoring smart contracts against high-level properties

Language: JavaScript - Size: 20.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 2

Related Topics
blockchain 1 dcr-graphs 1 dynamic-condition-response 1 monitoring 1 runtime-monitoring 1 runtime-verification 1 smart-contracts 1 smart-contracts-audit 1 smart-contracts-security 1