Skip to main content.

Contact Information

If you have comments or questions about this version of UPPAAL please email Gerd Behrmann. If you want to file a bug report or a request for enhancement, please use the UPPAAL Bugzilla installation and file the bug on the UPPAAL CORA product.

You are welcome to join the public mailing list of UPPAAL. Please visit the UPPAAL home page for details.