Crie uma conta para usar a IA

Crie uma conta gratuita para desbloquear todos os recursos:

Faça perguntas sobre vídeos com IA
Use a busca inteligente (IA)
Salve seus vídeos favoritos
Marque suas categorias favoritas
Organize suas subcategorias favoritas
Acesse sua página de favoritos personalizada
Acesse o histórico das suas conversas
Personalize sua página inicial com seus favoritos

Já tem uma conta? Entrar

Painel: Verificação Formal

Ethereum Foundation

Visite https://archive.devcon.org/ para acessar toda a biblioteca de palestras da Devcon com facilidade de filtragem, playlists, sugestões personalizadas, acesso descentralizado no IPFS e muito mais.

https://archive.devcon.org/archive/watch/3/formal-verification

Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu e Reto Trinkler discutem Verificação Formal.

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

Nível de habilidade: Avançado

Trilha: Infraestrutura para Desenvolvedores

Siga-nos: https://twitter.com/efdevcon, https://twitter.com/ethereum

Saiba mais sobre a devcon: https://www.devcon.org/

Saiba mais sobre ethereum: https://ethereum.org/

Devcon é a conferência Ethereum para desenvolvedores, pesquisadores, pensadores e criadores.

A Devcon 3 foi realizada em Cancún, México, de 1 a 4 de novembro de 2017.

A Devcon é organizada e apresentada pela Ethereum Foundation, com o apoio de nossos patrocinadores. Para saber mais, visite https://ethereum.foundation/

Painel: Verificação Formal | Knoovi