dcr-graphs

There are 0 repository under dcr-graphs topic.

mojtaba-eshghie / HighGuard
The runtime monitoring tool for smart contracts business logic.
runtime-monitoring runtime-verification dcr-graphs dynamic-condition-response smart-contracts-security blockchain monitoring smart-contracts smart-contracts-audit high-level-properties invariants smart-contract-invariants
Language:Jupyter Notebook 6