Open source tools for software engineering teams using AI
← Bibliography

Formal requirements engineering and large language models: A two-way roadmap

Alessio Ferrari and Paola Spoletini article 2025 Source: z-spec

Note

Two symmetric paths: formal methods to guarantee LLM artifact correctness; LLMs to make formal methods more accessible.

Details

Journal
Information and Software Technology

Citation Key

ferrari2025roadmap