In Formal Verification Push, Ethereum Seeks Smart Contract Certainty

CoinDesk spotlights the factors driving ethereum's coding community to embrace the concept of formal verification for smart contracts.