This page’s menu:

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.


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.

Uppsala Universitet Aalborg University

Getting Started

To find out more about Uppaal, read this short Introduction, further information is avilable on the Getting Started pages.


The Uppaal tool is free for non-commercial applications in academia. Please see the download section for details or for more information about commercial licensing.

Community Support

For help, questions, bugs and feature request please see Community Support.