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

Bas Spitters: Smart Contracts und formale Verifikation für die Blockchain

Aarhus Universitet

Im Concordium Blockchain Research Center untersuchen wir das Design von Smart Contract-Sprachen, die Spezifikation von Smart Contracts und deren formale Verifikation. Ich werde diese Arbeit im Kontext unseres größeren Bestrebens präsentieren, Grundlagenforschung für die Blockchain bereitzustellen.

Der Vortrag wurde beim Aarhus University Digital Innovation Festival 2019 gehalten. Das Festival feiert digitale Innovationen unter Studierenden, Forschern und der Industrie, indem es eine Vielzahl von Veranstaltungen in einer einzigen Woche zusammenführt. https://www.digitalinnovationfestival.dk

Forschungsprofil von Bas Spitters:

http://pure.au.dk/portal/en/persons/id(50702ece-1b57-4820-9476-c6aad7c95d8f).html

Produziert von Media Lab. http://stll.au.dk/medialab/

Bas Spitters: Smart Contracts und formale Verifikation für die Blockchain | Knoovi