This page’s menu:


If you have any questions, comments or want to show off your work, please share with us at UPPAAL-Meta Discussions.

We also accept Feature requests and Bug reports at UPPAAL-Meta Issues.

You are also welcome to contact the development team directly using e-mail

All messages are read, we might however be unable to answer all requests.

Community Support

We do not directly provide any support for academic Uppaal but encourage all 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