Conférencier invité Block IV : Leo Alt - vérification formelle sur la pile Solidity
yAudit
Leo Alt (@leonardoalt) propose une démonstration très spéciale guidée par des exemples utilisant des outils de vérification formelle sur la pile Solidity.
Beaucoup de conseils ici - mettez vos chapeaux de chercheurs en sécurité et profitez-en !
Conférencier invité Block IV : Leo Alt - vérification formelle sur la pile Solidity | Knoovi