International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 15:00 | Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase | Amer Tahat, David Hardin, Adam Petz, Perry Alexander |
| 15:30 | LLM-based Scheme for Synthesis of Formal Verification Algorithms | Itay Cohen, Doron Peled |