International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Systematic Mapping Study: Formal Verification of Hypervisors | Lucas Ransan, Nikolai Kosmatov, Frédéric Loulergue |
| 11:30 | FM Meets AI – Equipping AI Agents with Formal-Methods Tools | Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 12:00 | Automated ADAS Testing using Automata Learning – A Case Study in Learning-Based Testing | Benjamin von Berg, Bernhard K. Aichernig, Darko Štern |