You are not logged in |
Verification of Ethereum programs
- Speaker(s)
- Aleksy Schubert
- Affiliation
- MIMUW
- Date
- Nov. 26, 2021, 12:15 p.m.
- Room
- room 5820
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
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
