INNOQ Technology Lunch: Verifikation von Smart Contracts

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.

Datum

10.02.2021

Uhrzeit

12:15 - 13:00

Online Event

INNOQ Technology Lunch (10.2.2021)