Name: Especificación y verificación de contratos Solidity por Martin Lundfall
Uploaded: 2020-05-14T14:53:45+00:00
Duration: 27 min 47 s
Description: Introducción a ACT, seguida de una discusión abierta sobre verificación formal y características del lenguaje para apoyar especificaciones más formales dentro de Solidity.

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