Contact

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 uppaal@cs.aau.dk.

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.

• Online Documentation
• UPPAAL-Meta - Discussions and Issues.
• Google Groups - mailing list.
• StackOverflow - Questions and Answers the smart way.

Commercial Support

For commercial support please visit VeriAal.dk.