International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | Towards efficient re-certification for CPS by exploiting consistencies between meta-models | Bernhard Beckert, Vitus Lüntzel, Ralf Reussner, Eric Sax, Alexander Weigl |
| 09:30 | Threats to Instrument Validity within “in Silico” Research: Software Engineering to the Rescue | Serge Demeyer, Coen De Roover, Johannes Härtel, Mutlu Beyazit |
| 10:00 | Automated Clone Elimination in Python Tests | Sebastian Kingston, Violet Ka I Pun, Volker Stolz |