En un esfuerzo de verificación formal, Ethereum busca la certeza de los contratos inteligentes

CoinDesk destaca los factores que impulsan a la comunidad de codificación de Ethereum a adoptar el concepto de verificación formal para contratos inteligentes.