An attempt at runtime verification of Ethereum smart contracts.
monitoring
ethereum
smart-contracts
solidity
ethereum-contract
sol
formal-verification
solidity-contracts
runtime-verification
ethereum-blockchain
monitoring-engine
-
Updated
Jun 4, 2018 - Haskell