Formal Verification: The Foundation of Ethereum Smart Contracts
Smart Contracts need be formally verified
Tags: security, solidity, ethereum