Microsoft anuncia el lanzamiento de VeriSol, un sistema de verificación para contratos inteligentes en Ethereum

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.