/ethereuem-runtime-verification

An attempt at runtime verification of Ethereum smart contracts.

Primary LanguageHaskell

Watchers