Skip to main content.

UPPAAL Bug Tracking System

The Uppaal bug tracking system is available at https://bugsy.grid.aau.dk.

Please also check discussion forum page and Uppaal tag on Stackoverflow.

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