#Dcr-graphs

Showing 1 of 1 repositories tagged #dcr-graphs, ranked by stars

mojtaba-eshghie

The runtime monitoring tool for smart contracts business logic.

★ 20 ⑂ 3 —

Jupyter Notebook

Related Topics

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