International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Agentic Verification | Martin Leucker, Elaheh Hosseinkhani, Daniel Thoma, Sheng Yong Jiang |
| 16:55 | From Manual to LLM-Assisted Formal Verification of a PKCS#1 Signature Parser | Martin Hána, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| 17:20 | An Agentic Approach for Synthesizing Program Invariants | Yuan Xia, Asmaa Hassan Ahmed Hassan, Jyotirmoy Deshmukh |
| 17:45 | When Words Change the Model: Sensitivity of LLMs for Constraint Programming Modelling | Alessio Pellegrino, Jacopo Mauro |