Título: Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica Directores: Javier Godoy, Diego Garbervetsky Jurados: Dr. Ariel Waissbein, Dr. Sebastián Uchitel Resumen: Los smart contracts son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real, su verificación [...]