#Dynamic-condition-response

Showing 1 of 1 repositories tagged #dynamic-condition-response, ranked by stars

mojtaba-eshghie

The runtime monitoring tool for smart contracts business logic.

★ 20 ⑂ 3 —

Jupyter Notebook

Related Topics

#blockchain #dcr-graphs #high-level-properties #invariants #monitoring #runtime-monitoring #runtime-verification #smart-contract-invariants #smart-contracts #smart-contracts-audit #smart-contracts-security