https://github.com/shaunazzopardi/ethereuem-runtime-verification

An attempt at runtime verification of Ethereum smart contracts.

ethereum ethereum-blockchain ethereum-contract formal-verification monitoring monitoring-engine runtime-verification smart-contracts sol solidity solidity-contracts

Last synced: 09 May 2026