Nie jesteś zalogowany |
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
