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.).
For help, questions, bugs and feature request please see Community Support.