UPPAAL Commercial License Agreement

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

  1. You (the licensor) do not have any obligation to provide any maintenance or consulting help with respect to UPPAAL.
  2. You (the licensor) neither have any responsibility for the correctness of systems verified using UPPAAL, nor for the correctness of UPPAAL itself.
  3. We (the licensee) 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 (the licensee) will never execute the verifyta or server programs on more than 64 core simultaneously.
  7. 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.
  8. 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.


Commercial license price list:

TypeDescriptionPeriodPrice
FixedLicense bound to a specific computer for entire period.1 year€3000
FloatingLicense can be moved to another computer when configurable lease period has expired.1 year€5000

For larger quantity or other special discounts, please request a quote by email sales@veriaal.dk.


UPPAAL Commercial License Registration

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

Fields marked with * are mandatory.

  (to be upgraded to commercial upon payment)
Privacy policy: The above is collected solely for Veriaal ApS statistics and is not shared with anyone else.
The email is used to send the license information and a commercial offer.
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.