Name: Spécification et vérification des contrats Solidity par Martin Lundfall
Uploaded: 2020-05-14T14:53:45+00:00
Duration: 27 min 47 s
Description: Introduction à ACT, suivie d'une discussion ouverte sur la vérification formelle et les fonctionnalités du langage pour soutenir des spécifications plus formelles dans Solidity.

Créez un compte pour utiliser l'IA

Créez un compte gratuit pour débloquer toutes les fonctionnalités :

Posez des questions sur les vidéos avec l'IA
Utilisez la recherche intelligente (IA)
Sauvegardez vos vidéos en favoris
Marquez vos catégories préférées
Organisez vos sous-catégories favorites
Accédez à votre page de favoris personnalisée
Retrouvez l'historique de vos conversations
Personnalisez votre page d'accueil avec vos favoris

Créer un compte

Vous avez déjà un compte ? Se connecter