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

Panel : Vérification Formelle

Ethereum Foundation

Visitez https://archive.devcon.org/ pour accéder à l'ensemble de la bibliothèque des conférences Devcon avec la facilité de filtrage, des playlists, des suggestions personnalisées, un accès décentralisé sur IPFS et plus encore.

https://archive.devcon.org/archive/watch/3/formal-verification

Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu et Reto Trinkler discutent de la Vérification Formelle.

Intervenants : Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu, Reto Trinkler

Niveau de compétence : Avancé

Parcours : Infrastructure des Développeurs

Suivez-nous : https://twitter.com/efdevcon, https://twitter.com/ethereum

En savoir plus sur devcon : https://www.devcon.org/

En savoir plus sur ethereum : https://ethereum.org/

Devcon est la conférence Ethereum pour les développeurs, chercheurs, penseurs et créateurs.

Devcon 3 a eu lieu à Cancún, au Mexique, du 1er au 4 novembre 2017.

Devcon est organisé et présenté par la Fondation Ethereum, avec le soutien de nos sponsors. Pour en savoir plus, veuillez visiter https://ethereum.foundation/

Panel : Vérification Formelle | Knoovi