International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification | B. Beckert, J. Klamroth, W. Pfeifer, P. Roper, S. Teuber |
| 15:00 | raceability and Accountability by Construction | J. Wenzel, M.A. Kohl, S. Sterz, A. Schmidt, C. Fetzer, H. Hermanns |
| 15:30 | Synthesis from Infinite-State Generalized Reactivity(1) Specifications | B. Maderbacher, F. Windisch, R. Bloem |