Nella spinta alla verifica formale, Ethereum cerca la certezza dei contratti intelligenti

CoinDesk mette in luce i fattori che spingono la comunità di programmatori di Ethereum ad abbracciare il concetto di verifica formale per i contratti intelligenti.