Skip to main content.

License Agreement

UPPAAL Release Version

Please read the license agreement carefully, fill in the form, and press the "Register and Download" button. The information will be sent to the Uppaal team and used for the purpose of registration only.

Copyright (c) 1995-2019 by Uppsala University and Aalborg University.

We (the licensee) understand that Uppaal includes the programs: uppaal.jar, uppaal, uppaal.bat, server, socketserver, 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 of Wang Yi (Uppsala University) or Kim G Larsen (Aalborg University).
  4. 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 license of Uppaal.
  5. Uppaal nor any part of its code may be used or modified for any commercial software product.
In the event that you should release new versions of Uppaal to us, we agree that they will also fall under all of these terms.
Job Title*:
Privacy Policy: Your personal data is collected solely for our own statistic purposes and is not to be shared with anyone else. The email address provided here is to be used strictly for the tool licensing issues and not marketing or selling.
Uppsala University is the processor and holder of these records.
*Yes, I accept the license agreement and the privacy policy.