Talk

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.

Date
2021-02-10
Time
12:15 - 13:00
Online Event
INNOQ Technology Lunch (10.2.2021)
  • Slide 1
    1/59
  • Slide 2
    2/59
  • Slide 3
    3/59
  • Slide 4
    4/59
  • Slide 5
    5/59
  • Slide 6
    6/59
  • Slide 7
    7/59
  • Slide 8
    8/59
  • Slide 9
    9/59
  • Slide 10
    10/59
  • Slide 11
    11/59
  • Slide 12
    12/59
  • Slide 13
    13/59
  • Slide 14
    14/59
  • Slide 15
    15/59
  • Slide 16
    16/59
  • Slide 17
    17/59
  • Slide 18
    18/59
  • Slide 19
    19/59
  • Slide 20
    20/59
  • Slide 21
    21/59
  • Slide 22
    22/59
  • Slide 23
    23/59
  • Slide 24
    24/59
  • Slide 25
    25/59
  • Slide 26
    26/59
  • Slide 27
    27/59
  • Slide 28
    28/59
  • Slide 29
    29/59
  • Slide 30
    30/59
  • Slide 31
    31/59
  • Slide 32
    32/59
  • Slide 33
    33/59
  • Slide 34
    34/59
  • Slide 35
    35/59
  • Slide 36
    36/59
  • Slide 37
    37/59
  • Slide 38
    38/59
  • Slide 39
    39/59
  • Slide 40
    40/59
  • Slide 41
    41/59
  • Slide 42
    42/59
  • Slide 43
    43/59
  • Slide 44
    44/59
  • Slide 45
    45/59
  • Slide 46
    46/59
  • Slide 47
    47/59
  • Slide 48
    48/59
  • Slide 49
    49/59
  • Slide 50
    50/59
  • Slide 51
    51/59
  • Slide 52
    52/59
  • Slide 53
    53/59
  • Slide 54
    54/59
  • Slide 55
    55/59
  • Slide 56
    56/59
  • Slide 57
    57/59
  • Slide 58
    58/59
  • Slide 59
    59/59

Swipe for more

Scroll or use your arrow keys for more

Scroll for more

Use your arrow keys for more

 Download Slides

TAGS