Skip to main content.

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://bugsy.grid.aau.dk.

Contacts

To email the development team directly, please use uppaal(at)list(dot)it(dot)uu(dot)se.