Skip to main content.

Contact Information

Uppaal PORT was developed by John Håkansson and Paul Pettersson. If you have comments or questions about the tool please email us. If you want to file a bug report or a request for enhancement, please use the souceforge tracker, and file the bug in the uppaal-port category.

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