This page’s menu:

Academic Licenses

The Uppaal toolkit is free for non-commercial applications for academic institutions that deliver academic degrees. As academic use, we consider only 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 other use requires a license.

Uppaal 4.1 (development snapshot)

This is the current development release of the academic version, this build includes Uppaal SMC.
We currently do not provide a 64-bit version for Windows.

You should use the 64-bit version if it is available for your platform and if you have 8GB of memory or more.

Uppaal 4.0

This is the current official stable release of the academic version. There is no 64-bit version.
  • 32-bit Windows and Linux, version 4.0.15 download.
  • 32-bit Mac OS X, version 4.0.13 Mac OS X.

Other

  • Older Uppaal version
  • Parser Library
    Uppaal Timed Automata Parser Library (libutap). Distributed separately under the LGPL license.
  • DBM Library
    Implementation of DBM, an efficient data structure for representing clock constraints in timed automata.
  • convert.jar
    Utility that converts files from version 3.2 to 3.4, see version history
  • Memtime (old repository)
    Small utility to measure time and memory consumption on POSIX OSes.
    Alternatively one can use time utility with an environment vairable setting TIME="Max RSS: %Mkb\nUser: %Us\nKernel: %Ss\nElapsed: %es" or similar.

Commercial Licenses

Uppaal is free for academic use only. Any other use requires a license of Uppaal. Note that, any use at companies, private use, use at national research agencies, or any other non-academic use requires a license of Uppaal. For information about commercial licenses and support, please visit www.uppaal.com.

Version History

Installation Instructions

To download and install (or upgrade to) the current version of Uppaal:

  1. Choose the version from the download area.
  2. Fill in the license agreement and press the "Accept and Download" button.
  3. Download the zip-file containing the installation files.
  4. Unzip the downloaded zip-file. This should created a number of files, including: uppaal.jar, uppaal, and the directories bin-Linux, bin-Win32, and demo. The bin-directories should all contain the two files server(.exe) and verifyta(.exe) plus some additional files, depending on the platform. The directory demo should contain some demo files with suffixes .xml, and .q.
  5. Make sure you have at least Java 11 configured on your system. The Uppaal GUI will not run without Java installed. Java for Windows and Linux can be downloaded from adoptopenjdk.
  6. To run Uppaal on Linux systems run the startup script named uppaal. To run on Windows systems, just double-click the file uppaal.jar.
    New: Launch AddLinks.vbs to create links in programs menu and desktop. This should take care of proxy settings automatically as well.

Please e-mail bug-uppaal@list.it.uu.se if you have problems to install, if you find bugs or have suggestions how Uppaal can be improved. Before e-mailing us, please check the the Frequently Asked Questions sections and the Known Issues.