Compartir este artículo

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.

Screen Shot 2016-09-27 at 11.10.47 PM