Agenda

Título: Verificación Automática de Smart Contracts Move en Sui Director: Diego Garbervetsky Jurados: Juan Pablo Galeotti, Javier Godoy Resumen En el ecosistema de las blockchains, la verificación formal de contratos inteligentes es fundamental para garantizar su seguridad y confiabilidad, evitando vulnerabilidades que podrían resultar en pérdidas económicas o fallas [...]