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 commercial license.

Uppaal 4.1 (development snapshot)

This is the current development release of the academic version, this build includes Uppaal SMC.

Uppaal 5.0.0

See the Uppaal 5.0.0 features for what's new.

OS (arch)Requires JavaIncludes Java
Windows (x86_64): zip msi exe
macOS (x86_64): app dmg
macOS (Aarch64): app
Linux (x86_64): zip deb rpm

Please register at veriaal.dk to obtain a free academic license key.

Development snapshot 5.1.0-beta5:

OS (arch)Requires JavaIncludes Java
Windows (x86_64): zip msi exe
macOS (x86_64): app dmg
macOS (Arch64): app
Linux (x86_64): zip deb rpm

Older Uppaal versions

Uppaal 4.0

This is the current official stable release of the academic version. There is no 64-bit version.

Tiga

ECDAR

CORA

TRON

Other

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 uppaal.veriaal.dk.

Version History

Installation Instructions

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

  1. Uppaal graphical user interface requires Java version ≥17 installed. We recommend Open JDK:

    • Windows: download and install Open JDK from Adoptium.
      During installation select JavaSoft (Oracle) registry keys:
      Select JavaSoft (Oracle) registry keys during OpenJDK installation
      Otherwise uppaal.exe may not find Java and fail with This application requires a Java Runtime Environment 11.0-21.0, even though Java is already installed.

    • macOS: download and install Open JDK from Adoptium.

    • Linux: make sure that full JRE (Java Runtime Environmnent) is installed (headless variants do not support graphics, therefore are not enough), e.g.:

      • Ubuntu/Debian: sudo apt install openjdk-17-jre
      • Arch: sudo pacman -S jre-openjdk
      • Fedora: sudo dnf install java-17-openjdk.x86_64
      • NixOS: nix-env -iA nixos.jdk17
    • Command line utility verifyta does not use Java, hence Java is optional if you use only verifyta.

  2. Choose and download Uppaal version from the download area.

  3. Extract Uppaal distribution archive where it will be accessible: C:\Program Files, /Applications, /usr/local, /opt/local or simply user Desktop are fine locations as long as you have permissions.

  4. Optionally, integrate within your desktop environment:

    • Windows: run AddLinks.vbs script to create shortcuts in the Start menu and/or Desktop.
    • macOS: drag and drop Uppaal app folder into /Applications (since Uppaal 5, Uppaal Stratego 10).
    • Linux: run AddLinks.sh script to create a shortcut in Start menu.
  5. Launch Uppaal by either clicking on uppaal.jar, uppaal.exe, Uppaal.app or uppaal launcher.

    • macOS may complain that developer cannot be verified or app is damaged, and suggest to Move to Bin:
      macOS quarantine: Move to Bin macOS damaged
      Do not click Move to Bin! Instead, click the question mark and follow the instructions: override by Control-clicking, choose Open and Open again:
      macOS override macOS right-click open macOS sure open macOS demaged open
  6. Launch and enter your license key and the period for license-computer offline binding period:

    • Command line: verifyta --lease 168 --key YOUR_LICENSE_KEY, or
    • Graphical user interface when Uppaal is started:
      Uppaal license dialog

Note that Uppaal needs Internet connection to fetch the license.

If you have any issues installing Uppaal, please check the Frequently Asked Questions sections and the Known Issues. If this does not resolve you issue please feel free to contact us.