Título: Verificación de smart contracts en Ethereum: un estudio y un prototipo Director: Diego Garbervetsky Jurados: Juan Pablo Galeotti, Hernan Melgratti Resumen: Los contratos inteligentes, o smart contracts, son programas que pueden ser ejecutados consistentemente por una red de nodos que se desconfían mutuamente, sin el arbitraje de una [...]