Name: Block IV Gastredner: Leo Alt - formale Verifikation im Solidity-Stack
Uploaded: 2023-01-03T04:48:37+00:00
Duration: 1 h 5 s
Description: Leo Alt (@leonardoalt) präsentiert eine ganz besondere, demo-getriebene Einführung zur Verwendung von Werkzeugen zur formalen Verifikation im Solidity-Stack. Hier gibt es viele Tipps – setzt eure Sicherheitsforscher-Hüte auf und viel Spaß!

Erstellen Sie ein Konto, um KI zu nutzen

Erstellen Sie ein kostenloses Konto, um alle Funktionen freizuschalten:

Stellen Sie Fragen zu Videos mit KI
Nutzen Sie die intelligente Suche (KI)
Speichern Sie Ihre Lieblingsvideos
Markieren Sie Ihre Lieblingskategorien
Organisieren Sie Ihre Lieblingsunterkategorien
Greifen Sie auf Ihre personalisierte Favoritenseite zu
Greifen Sie auf Ihren Gesprächsverlauf zu
Personalisieren Sie Ihre Startseite mit Ihren Favoriten

Konto erstellen

Haben Sie bereits ein Konto? Anmelden