Verification of Ethereum programs

Prelegent(ci)

Aleksy Schubert

Afiliacja

MIMUW

Termin

26 listopada 2021 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

The general overview of blockchain and smart contract technologies is given. Based upon that a state-of-the art verification technique VerX is discussed.

 

You can join the meeting under the Zoom link: https://us02web.zoom.us/j/83143002443?pwd=dnlSQ05pVjB3L3cwSUkzOEVOTnJVUT09

---