UPPAAi: Towards LLM-Assisted Modeling, Verification, Analysis and Synthesis
arXiv:2610.40042v1 Announce Type: cross Abstract: For more than three decades, UPPAAL has supported the modelling and analysis of real-time and cyber-physical systems. Yet building a suitable model, formalising the intended properties, choosing analysis techniques and interpreting counterexamples remain iterative tasks that demand substantial expertise. Large language models (LLMs) can offer plausible explanations and even solutions, but they are not necessarily correct. We present UPPAAI, an e…