This page’s menu:

Figure 1: Uppaal 5 concrete simulator.

Uppaal 5 released! 🎉

We are happy to present Uppaal 5.0! 🎈🎈🎈

Treat yourself to a freshly baked Uppaal from Downloads!

See the new features from TIGA and Stratego.

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.

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.