Skip to main content.

Contact Information

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.

About the Authors

The tool development is carried out in close collaboration with Uppaal team from Uppsala University in Sweden and Aalborg University in Denmark.

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.