Skip to main content.

Google Groups

User questions and discussions are welcome at Uppaal forum at Google Groups.

StackOverflow has also Uppaal tag.

The Uppaal bug tracking system is available at GitHub repository.

The old forum is available at Yahoo Groups.

Contacts

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