Em um esforço de verificação formal, Ethereum busca a certeza do contrato inteligente

O CoinDesk destaca os fatores que levam a comunidade de codificação do Ethereum a adotar o conceito de verificação formal para contratos inteligentes.