Duration: Sep 2, 2020
Programme | PDF version
2 Sep |
09:30-10:30 |
Session 1 |
Participants: Christian Colombo, Mark Vella, Robert Abela, Otokar Grosek, Pavol Zajac, Viliam Hromada, Ondrej Gallo, Tomas Fabsic, Peter Spacek, Peter Sys | ||
Program: 1. The Maltese team presented their recent progress on their case study concerning an application of runtime verification to encryption in Mozilla Firefox. |
||
11:00-11:30 |
Session 2 |
|
Participants: Peter Sys (Slovak team) and Robert Abela (Maltese team) | ||
Program: 1. Peter Sys gave Robert Abela the source code of the chat application and they discussed the code in detail. |
||
14:00-15:00 |
Session 3 |
|
Participants: Christian Colombo, Mark Vella, Robert Abela, Viliam Hromada, Tomas Fabsic, Peter Spacek, Peter Sys | ||
Program: 1. Christian Colombo presented an outline of a paper on an application of runtime verification to the chat application developed by the Slovak team. |
Photo