Verifikation von Smart Contracts

Zusammenfassung

Smart Contracts sind eine Technologie, mit der man Code auf Blockchains ausführt. Eine Vielzahl von Geschäftsfällen werden inzwischen durch solche Verträge abgebildet. Ethereum ist dafür eine beliebte Plattform. In diesem Vortrag wollen wir uns anschauen, wie man die Qualität des Codes sicherstellen kann.

Folien

Aufzeichnung

Events

Artikel

Zu diesem Thema habe ich auch einen Artikel geschrieben, der frei online verfügbar ist (English version of the article).