
Figure 1: Uppaal on screen.
Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
The tool is developed in collaboration between the Department of Information Technology at Uppsala University, Sweden and the Department of Computer Science at Aalborg University in Denmark.
Download
The current official release is Uppaal 4.0.15 (November 18, 2019). Since Feb 26 2008, we also distribute a development snapshots of the tool. The current version is 4.1.26-2 released October 5th, 2022.


Getting Started
To find out more about Uppaal, read this short Introduction, further information is avilable on the Getting Started pages.
License
The Uppaal tool is free for non-commercial applications in academia. Please see the download section for details or www.uppaal.com for more information about commercial licensing.
Community Support
For help, questions, bugs and feature request please see Community Support.