Online Discussion
Feb 15, 2023, 08:00 UTC - 09:30 UHR UTC Feb 15, 2023, 09:00 CET - 10:30 UHR CET Feb 15, 2023, 19:00 AEDT - 20:30 UHR EDT
Information for participating are below.
Backgrund: The VerifyThis Collaborative Large Scale Challenge aims at proving that deductive program verification can produce relevant results for real systems with acceptable effort. We initially looked HAGRID as a case study, but have since moved on to considering a simple Solidity casino as the running example.
Agenda: We are happy to invite you to join for the final round of presentations on the Casino case study, one by Franck Cassez (Macquarie University) and one by Alexander J. Summers (University of British Columbia), and one by and Marco Eilers (ETH Zurich).
We aim to wrap up the discussion of the Casino case study and make plans for follow-up work. See you soon!
Aggregated Materials
Who can join the meeting?
Everybody who is interested in the challenge, formal verification, the proposed solutions or VerifyThis is cordially invited to join the meeting!
How can I join the meeting?
The online event takes place with Zoom.
In protection against spammers, we require a short registration beforehand. The login credentials will be sent via your provided email address. Please register yourself with an email to weigl@kit.edu.
Note: If you had already registered for a previous online event, we will send you the required login credentials automatically. Another registration is not required in this case.