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 para Solidity

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-for-solidity

Christian Reitwiessner y Yoichi Hirai hablan sobre Verificación Formal para Solidity.

Ponente(s): Christian Reitwiessner, Yoichi Hirai

Nivel de habilidad: Avanzado

Ruta: Infraestructura para Desarrolladores

Palabras clave: código, pruebas, saldos, llamada, compilador, gui, why3, evm

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 2 se llevó a cabo en Shanghái, China del 19 al 21 de septiembre de 2016.

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

Verificación Formal para Solidity | Knoovi