Crea una cuenta para usar la IA

Crea una cuenta gratuita para desbloquear todas las funciones:

Haz preguntas sobre los vídeos con IA
Usa la búsqueda inteligente (IA)
Guarda tus vídeos favoritos
Marca tus categorías preferidas
Organiza tus subcategorías favoritas
Accede a tu página de favoritos personalizada
Accede al historial de tus conversaciones
Personaliza tu página de inicio con tus favoritos

Crear una cuenta

¿Ya tienes una cuenta? Iniciar sesión

Verificación Formal de Contratos Inteligentes - Yoichi Hirai

Ethereum Foundation

Visita https://archive.devcon.org/ para acceder a toda la biblioteca de charlas de Devcon con la facilidad de filtrar, listas de reproducción, sugerencias personalizadas, acceso descentralizado en IPFS y más.

https://archive.devcon.org/archive/watch/2/formal-verification-of-smart-contracts

Yoichi Hirai presenta su charla sobre Verificación Formal de Contratos Inteligentes.

Ponente(s): Yoichi Hirai

Verificación Formal de Contratos Inteligentes - Yoichi Hirai | Knoovi