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 techni