Jul 2026
Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models
RADIANT is an engineering methodology that combines MDE with Multi-Agent Large Language Models (LLMs) for complete model-based system development, with a focus on safety-critical systems and finds that the multi-agent decomposition reliably improves theSyntactic validity of the generated formal artefacts over a single-...
Ran Wei, Letian Zhu, Haochi Wang et al.
· arXiv.org · 0 citations