Contant
Google Groups
We are migrating to a new Uppaal forum at Google Groups:
The old forum is available at Yahoo Groups.
StackOverflow has also Uppaal tag.
The Uppaal bug tracking system is available at https://github.com/UPPAALModelChecker/UPPAAL-Meta.
Contacts
To email the development team directly, please use uppaal@list.it.uu.se.