UPPAAL Academic License Agreement

We (the licensee) understand that UPPAAL includes the programs: uppaal.jar, server and verifyta and that they are supplied "as is", without expressed or implied warranty. We agree on the following:

  1. You (the licensers) do not have any obligation to provide any maintenance or consulting help with respect to UPPAAL.
  2. You neither have any responsibility for the correctness of systems verified using UPPAAL, nor for the correctness of UPPAAL itself.
  3. We will never distribute or modify any part of the UPPAAL code (i.e. the source code and the object code) without a written permission from Veriaal ApS.
  4. We (the licensee) will never decompile, reverse engineer or disassemble any of the included programs.
  5. We (the licensee) will not modify or circumvent any copyright or license enforcement mechanisms directly or indirectly.
  6. We will make only academic use of UPPAAL. We understand that academic work means work performed by researchers or students at institutions delivering academic degrees. In addition, the work or the worker may not be contracted by any non-academic institution. Any use at companies, private use, use at national research agencies, or any other non-academic use requires a separate license of UPPAAL.
  7. UPPAAL or any part of its code may not be used or modified for any commercial software product.
  8. You (the licensor) confirm that UPPAAL neither collects nor transmits any private information, except computer identifiers with the purpose of enforcing the terms of the license agreement.
  9. The artifacts created by us (the licensee) using UPPAAL are owned by us (the licensee).

Any future versions of UPPAAL also fall under all of these terms.


UPPAAL Academic License Registration

After the registration, we immediately email you the link to your license information.

Fields marked with * are mandatory.

 For commercial purposes, register here.
Teachers may create a license key for students for specific course.
Privacy policy:The above is collected solely for Veriaal ApS statistics and is not shared with anyone else.
The email is used to validate the organization affiliation and send the license information only.
Veriaal ApS is the processor and the holder of these records.
* Yes, I accept the license agreement and the privacy policy.

For technical information on how the license is managed on your computer see License Help.

In case of issues, please contact web@veriaal.dk.