Nous venons de publier une mise à jour majeure de @CertoraInc Prover, notre moteur de vérification formelle pour prouver la validité des contrats intelligents ou trouver de réels bugs. La version 8.1.0 est remplie de nouvelles fonctionnalités puissantes et (oui) de quelques changements majeurs. Voici les nouveautés 👇