UPPAAL Academic Licenses for Courses

Teachers and system administrators may speed up the registration for students by using a shared license key from the following steps:

1. Create a course email address.
   For example, if your email is prof@school.edu and the course name is class23,
   then you can use prof+class23@school.edu subaddress.
   This plus-subaddressing is RFC5233 part of email protocol many servers implement, and such emails are delivered to prof@school.edu without doing anything special.
2. Use the course email to register. Please enter your full name and the course name in the name field.
3. Check your mail box for the license link and retrieve the license key from the linked page.
4. Distribute the license key to the course students in a way that it is limited to your institution and are not accessible from public Internet. UPPAAL may stop working if too many users are using the same key.

One license key is limited to 100 students and is available for 6 months at a time.

Please contact us if it does not work with your school mail, you have more students or need longer term solution.

License Key Installation

The license information is stored separately from UPPAAL installation (in the user's home folder), therefore the license key needs be installed in each user's environment, either by:

• the users themselves using UPPAAL graphical interface and the key from your course page/email, or
• some script using command: verifyta --key LICENSE_KEY --lease LEASE_DURATION
  • verifyta is the UPPAAL command line utility installed in bin folder of the UPPAAL installation;
  • LICENSE_KEY is the UPPAAL license key obtained through registration;
  • LEASE_DURATION is the number of hours for UPPAAL to work offline (max 336 = 2 weeks);
  • after LEASE_DURATION is over, UPPAAL automatically renews the lease information on demand (requires Internet connection at that point).

We would like to emphasise that only the license key and computer identifiers are being exchanged and no personal information nor model files, nor usage telemetry is being transmitted by UPPAAL.

The model files and analysis results produced by UPPAAL are owned by the users.