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

Panel: Verificación Formal

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/3/formal-verification

Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu y Reto Trinkler discuten sobre Verificación Formal.

Ponente(s): Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu, Reto Trinkler

Nivel de habilidad: Avanzado

Track: Infraestructura para Desarrolladores

Síguenos: https://twitter.com/efdevcon, https://twitter.com/ethereum

Aprende más sobre devcon: https://www.devcon.org/

Aprende más sobre ethereum: https://ethereum.org/

Devcon es la conferencia de Ethereum para desarrolladores, investigadores, pensadores y creadores.

Devcon 3 se llevó a cabo en Cancún, México del 1 al 4 de noviembre de 2017.

Devcon es organizada y presentada por la Fundación Ethereum, con el apoyo de nuestros patrocinadores. Para más información, visita https://ethereum.foundation/

Panel: Verificación Formal | Knoovi