Open source tools for software engineering teams using AI
← Bibliography

Leveraging LLMs for formal software requirements: Challenges and prospects

Arshad Beg and Diarmuid O'Donoghue and Rosemary Monahan misc 2025 Source: z-spec

View original ↗

Note

VERIFAI project: NL-to-formal-spec conversion identified as the critical bottleneck for safety-critical systems.

Citation Key

beg2025verifai