Share this article
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.
By Pete Rizzo
Updated Mar 6, 2023, 3:39 p.m. Published Sep 28, 2016, 6:07 p.m.
