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 & Exécution Symbolique | W/ Trail Of Bits

Patrick Collins

Qu'est-ce que la Vérification Formelle ?

Qu'est-ce que l'Exécution Symbolique ?

Entretien avec Troy : https://www.youtube.com/watch?v=H52U4ibkf5Q

Entretien avec Josselin : https://www.youtube.com/watch?v=3pWYvtx_sjA

✍️ Article : https://medium.com/@patrickalphac/formal-verification-symbolic-execution-38e0ac9072eb

🗻 Exemples de Code : https://github.com/PatrickAlphaC/denver-security/tree/main

🟩 Comparaison des outils d'Exécution Symbolique : https://hackmd.io/@SaferMaker/EVM-Sym-Exec

📚 Invariant vs Fuzz : https://ethereum.stackexchange.com/questions/144691/whats-the-difference-between-invariant-and-fuzz-testing

🛠️ Invariant Foundry : https://book.getfoundry.sh/forge/invariant-testing

🦔 Echidna : https://github.com/crytic/echidna

⛨ Vous cherchez un audit de contrat intelligent ?

Contactez-nous !

https://www.cyfrin.io/

✅✅ Faire un Don ✅✅

J'utilise les fonds donnés pour réaliser des vidéos amusantes et informatives.

Adresse du portefeuille ETH/Polygon/Avalanche/Chains EVM :

0x9680201d9c93d65a3603d2088d125e955c73BD65

Ou, en option :

- patrickalphac.eth (Uniquement ETH)

😸😸Suivez Patrick !😸😸

Cyfrin : https://www.cyfrin.io/

YouTube : https://www.youtube.com/@PatrickAlphaC/videos

Twitter : https://twitter.com/patrickalphac

Medium : https://medium.com/@patrickalphac

TikTok : https://www.tiktok.com/@patrickalphac

Téléchargements de Flux Twitch & Shorts : https://www.youtube.com/channel/UCMHHNgcezTnfrJUM1vIiZlQ

Toutes les pensées et opinions sont les miennes.

Vérification Formelle & Exécution Symbolique | W/ Trail Of Bits | Knoovi