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.
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.veriaal.dk for more information about commercial licensing.
Community Support
For help, questions, bugs and feature request please see Community Support.