6 papers
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
This paper articulates a long-term research vision for formal methods at the intersection with artificial intelligence, outlining multiple conceptual and technical dimensions and r…
Evaluating LLM-Generated ACSL Annotations for Formal Verification
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
Formal specifications are crucial for building verifiable and dependable software systems, yet generating accurate and verifiable specifications for real-world C programs remains c…
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
Software correctness is ensured mathematically through formal verification, which involves the resources of generating formal requirement specifications and having an implementatio…
Working Document -- Formalising Software Requirements with Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its…
A Short Survey on Formalising Software Requirements using Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
This paper presents a focused literature survey on the use of large language models (LLM) to assist in writing formal specifications for software. A summary of thirty-five key pape…
Formalising Software Requirements using Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
This paper is a brief introduction to our recently initiated project named VERIFAI: Traceability and verification of natural language requirements. The project addresses the challe…