UPPAAi: Towards LLM-Assisted Modeling, Verification, Analysis and Synthesis

UPPAAI extends the UPPAAL tool by integrating large language models (LLMs) to assist users in constructing, explaining, debugging, and specifying models through dialogue. The system follows a workflow where the user requests, the LLM proposes and explains, and UPPAAL performs verification, exposing its editor, queries, and verifier via a Tools API. Seven case studies demonstrate UPPAAI’s effectiveness across timed automata, stochastic hybrid automata, and strategy learning, showing that LLMs not only generate solutions but also proactively suggest relevant UPPAAL features.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

• llms