Tootfinder

RE-oriented Model Development with LLM Support and Deduction-based Verification
Radoslaw Klimek
https://arxiv.org/abs/2506.08606 https://

RE-oriented Model Development with LLM Support and Deduction-based Verification
The requirements engineering (RE) phase is pivotal in developing high-quality software. Integrating advanced modelling techniques with large language models (LLMs) and formal verification in a logical style can significantly enhance this process. We propose a comprehensive framework that focuses on specific Unified Modelling Language (UML) diagrams for preliminary system development. This framework offers visualisations at various modelling stages and seamlessly integrates large language models…