Loading view.
Calendario de Eventos
L Lun
M Mar
X Mié
J Jue
V Vie
S Sáb
D Dom
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
1 evento,
-
Defensa Tesis Licenciatura Daniel Wappner
Defensa Tesis Licenciatura Daniel Wappner
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 […]
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
0 eventos,
1 evento,
-
Defensa Tesis Licenciatura Mauro Schiavinato
Defensa Tesis Licenciatura Mauro Schiavinato
Título: Fragmentos de CPDL+ mediante propiedades de pathwidth Director: Santiago Figueira Co-director: Edwin Pin Jurados: Ricardo Rodríguez y Sergio Abriola Resumen: En este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL (Propositional Dynamic Logic), una lógica modal ya conocida y ampliamente estudiada. Sobre esta […]
