#High-level-properties

Showing 1 of 1 repositories tagged #high-level-properties, 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 #invariants #monitoring #runtime-monitoring #runtime-verification #smart-contract-invariants #smart-contracts #smart-contracts-audit #smart-contracts-security