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.