International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | On Threat Model Repair | R. Bloem, S. Chlup, D. Nickovic, C. Schmittner |
| 17:00 | Towards Formal Design of FDIR Components with AI | M. Bozzano, A. Cimatti, M. Cristoforetti, A. Griggio, P. Svaizer, S. Tonetta |
| 17:30 | Closing Discussion |