Título: Liquid Types para la verificación de smart contracts Director: Hernán Melgratti Jurados: Diego Garbervetsky, Javier Godoy. Resumen: En este trabajo se desarrolló una herramienta para la verificación de smart contracts escritos en Solidity. La estrategia empleada consiste en traducir el código fuente de Solidity a Haskell, utilizando las [...]