November 11 – 13, 2019 | Berlin

Verification of Smart Contracts

Session
Until conference starts: ✓ Extra specials ✓ Group discount ✓ Special discount for freelancers Register now
Infos
Wednesday, November 13 2019
15:15 - 16:00
Room:
Soul

The term Smart Contracts refers to a set of technologies that – broadly
speaking – enable execution of code on blockchains. Many business
processes have already been mapped on such contracts, with Ethereum
being a popular platform. But since smart contracts are code, we have to
ask ourselves about ensuring code quality. Testing is certainly a useful
tool for that, but given that smart contracts handle millions of
dollars, is it enough? This talk will give an introduction into formal
verification and present an overview over the state of the art in the
blockchain space.

STAY TUNED!

BEHIND THE TRACKS

Blockchain Advanced Development

Advanced step-by-step technical guide: Sharing the know-how

Blockchain Impact & Strategy

Experimenting with blockchain technology: Real-world inspiring use cases

Blockchain Technology 101

Principles, tools–frameworks & libraries–and implementation