Abstracción de contratos inteligentes mediante ejecución simbólica dinámica

Los contratos inteligentes son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real, su verificación y validación antes de desplegarlos es de gran importancia. Por esta razón, es una práctica común contratar empresas de seguridad especializad...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Wappner, Daniel
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2023
Materias:
Ciencias Informáticas
Contrato Inteligente
Ejecución simbólica dinámica
Validación por Modelos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/166475
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares