This page’s menu:


If you have any questions, comments or want to show off you work please share with us at UPPAAL-Meta Discussions. We also accept Feature and Bugs request at UPPAAL-Meta Issues.

You are also welcome to contact the development team directly using e-mail All messages will be read, we might however not be able to answer all requests.

Community Support

We do not directly provide any support for academic UPPAAL but encourage all UPPAAL users to contribute to the community support. The development team will also, from time to time, directly answer questions here.

Commercial Support

For commercial support please visit