diariobitcoin.com
Microsoft anuncia el lanzamiento de VeriSol, un sistema de verificación para contratos inteligentes en Ethereum - DiarioBitcoin
Este nuevo sistema ofrece mayor seguridad en el diseño de los contratos en Solidity, permitiendo a los desarrolladores auditar y revisar puntos sensibles en la codificación de los mismos.