The runtime monitoring tool for smart contracts high-level properties.
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
Jun 4, 2024 - Solidity