Name: Especificação e verificação de contratos Solidity por Martin Lundfall
Uploaded: 2020-05-14T14:53:45+00:00
Duration: 27 min 47 s
Description: Introdução ao ACT, seguida de uma discussão aberta sobre verificação formal e recursos da linguagem para apoiar especificações mais formais dentro do Solidity.

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

Criar conta

Já tem uma conta? Entrar