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