#Smart-contract-invariants

Showing 1 of 1 repositories tagged #smart-contract-invariants, ranked by stars

mojtaba-eshghie

The runtime monitoring tool for smart contracts business logic.

★ 20 ⑂ 3 —

Jupyter Notebook

Related Topics

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