Topic: "monitoring-engine"
shaunazzopardi/ethereuem-runtime-verification
An attempt at runtime verification of Ethereum smart contracts.
Language: Haskell - Size: 40 KB - Last synced at: 4 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
