Skip to main content.

Contact Information

The following 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 following people have been involved in making of Uppaal Stratego:

The work is based on previously developed flavors of Uppaal by team from Uppsala University in Sweden and Aalborg University in Denmark.