1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
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…