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

Verificação Formal para Solidity

Ethereum Foundation

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

https://archive.devcon.org/archive/watch/2/formal-verification-for-solidity

Christian Reitwiessner e Yoichi Hirai falam sobre Verificação Formal para Solidity.

Palestrante(s): Christian Reitwiessner, Yoichi Hirai

Nível de habilidade: Avançado

Trilha: Infraestrutura para Desenvolvedores

Palavras-chave: código, teste, saldos, chamada, compilador, gui, why3, evm

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

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

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

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

O Devcon 2 foi realizado em Xangai, China, de 19 a 21 de setembro de 2016.

O Devcon é organizado e apresentado pela Ethereum Foundation, com o apoio de nossos patrocinadores. Para saber mais, visite https://ethereum.foundation/

Verificação Formal para Solidity | Knoovi