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

Formale Verifikation für Solidity

Ethereum Foundation

Besuchen Sie https://archive.devcon.org/, um auf die gesamte Bibliothek der Devcon-Vorträge zuzugreifen, mit der Möglichkeit zu filtern, Playlists, personalisierte Vorschläge, dezentralen Zugriff auf IPFS und mehr.

https://archive.devcon.org/archive/watch/2/formal-verification-for-solidity

Christian Reitwiessner & Yoichi Hirai sprechen über die formale Verifikation für Solidity.

Referent(en): Christian Reitwiessner, Yoichi Hirai

Fähigkeitsstufe: Fortgeschritten

Track: Entwickler-Infrastruktur

Schlüsselwörter: Code, Testing, Salden, Aufruf, Compiler, GUI, why3, EVM

Folgen Sie uns: https://twitter.com/efdevcon, https://twitter.com/ethereum

Erfahren Sie mehr über Devcon: https://www.devcon.org/

Erfahren Sie mehr über Ethereum: https://ethereum.org/

Devcon ist die Ethereum-Konferenz für Entwickler, Forscher, Denker und Macher.

Devcon 2 fand vom 19. bis 21. September 2016 in Shanghai, China, statt.

Devcon wird von der Ethereum Foundation organisiert und präsentiert, mit Unterstützung unserer Sponsoren. Um mehr zu erfahren, besuchen Sie bitte https://ethereum.foundation/

Formale Verifikation für Solidity | Knoovi