If you have comments or questions about this version of Uppaal please send an email to maintainer Marius Mikučionis. If you want to file a bug report or a request for enhancement, please visit bug tracking system.
You are welcome to join the public mailing list of Uppaal. Please visit the Uppaal home page for details.
Currently the tool implementation is a part of Marius Mikučionis' Ph.D. project "Model-based Testing of Embedded Systems" supervised by Kim G. Larsen and Brian Nielsen. The project is funded by Basic Research in Computer Science at Aalborg University, Denmark.