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 de Contratos Inteligentes - Yoichi Hirai

Ethereum Foundation

Visite o 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/2/formal-verification-of-smart-contracts

Yoichi Hirai apresenta sua palestra sobre Verificação Formal de Contratos Inteligentes.

Palestrante(s): Yoichi Hirai

Verificação Formal de Contratos Inteligentes - Yoichi Hirai | Knoovi