1/6 🧵 Je viens de sécuriser une prime de 25 000 $ pour avoir trouvé un bug critique grâce à la vérification formelle ! sur un contrat récemment déployé. Merci à @gegul_' Le bug était si subtil que les tests traditionnels l'ont complètement manqué. C'est pourquoi la méthode de @CertoraInc est révolutionnaire.