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 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.25 released November 26th, 2019.
For help, questions, bugs and feature request please see Community Support.