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

Vérification Formelle pour Solidity

Ethereum Foundation

Visitez le 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/2/formal-verification-for-solidity

Christian Reitwiessner et Yoichi Hirai parlent de la Vérification Formelle pour Solidity.

Intervenant(s) : Christian Reitwiessner, Yoichi Hirai

Niveau de compétence : Avancé

Parcours : Infrastructure des Développeurs

Mots-clés : code, tests, soldes, appel, compilateur, gui, why3, evm

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 2 a eu lieu à Shanghai, en Chine, du 19 au 21 septembre 2016.

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/

Vérification Formelle pour Solidity | Knoovi