Título: Generador de abstracciones para Smart Contracts Director: Sebastián Uchitel Co-director: Javier Godoy Jurados: Dr. Ariel Waissbein y Dr. Victor Braberman Resumen: Vamos a abordar la problemática de validar y verificar la corrección de los contratos inteligentes, programas que se ejecutan en una blockchain y pueden manejar recursos de [...]