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 5.0 UPPAAL 4.1 UPPAAL 4.0 Other

Windows

macOS

Linux

Arch

Ubuntu

Debian

Fedora

Uppaal 5.0.0

OS (arch)	Requires Java		Includes Java
Windows (x86_64):	exe	zip	exe	msi

Development snapshot 5.1.0-beta5:

OS (arch)	Requires Java		Includes Java
Windows (x86_64):	exe	zip	exe	msi

Uppaal 5.0.0

OS (arch)	Requires Java		Includes Java
macOS (x86_64):	app		dmg
macOS (Aarch64):	app

Development snapshot 5.1.0-beta5:

OS (arch)	Requires Java		Includes Java
macOS (x86_64):	app		dmg
macOS (Arch64):	app

Please refer to the documentation provided for your specific Linux distribution above if available.

Uppaal 5.0.0

OS (arch)	Requires Java		Includes Java
Generic Linux (x86_64):	zip

Development snapshot 5.1.0-beta5:

OS (arch)	Requires Java		Includes Java
Generic Linux (x86_64):	zip

• Continue from step 1 in installation-instructions

Install the official package on the AUR (Arch User Repository) using a AUR-helper such as 'yay'. As both packages depend on 'jre17-openjdk', no manual intervention is needed for Java.

If you require an older than current version, refer to the generic Linux installation instructions from a zip archive.

• Install package with AUR helper
  • yay -S uppaal (latest stable)
  • yay -S uppaal-beta ( latest beta)
• Continue from step 5 in installation-instructions

Uppaal 5.0.0

OS (arch)	Requires Java		Includes Java
Linux (x86_64):			deb

Development snapshot 5.1.0-beta5:

OS (arch)	Requires Java		Includes Java
Linux (x86_64):			deb

• Download the .deb package
• Install package sudo dpkg -i uppaal_5.0.0_amd64.deb
• Continue from step 5 in installation-instructions

Uppaal 5.0.0

OS (arch)	Requires Java		Includes Java
Linux (x86_64):			rpm

Development snapshot 5.1.0-beta5:

OS (arch)	Requires Java		Includes Java
Linux (x86_64):			rpm

• Download the .rpm package
• Install package sudo dnf install uppaal-5.0.0.x86_64.rpm
• Continue from step 5 in installation-instructions

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

After downloading, follow the installation-instructions below.

Windows

macOS

Linux

Uppaal 4.1 (development snapshot)

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

64-bit Windows and Linux, version 4.1.26-2
64-bit Mac OS X, version 4.1.26.

Windows

macOS

Linux

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.
32-bit Mac OS X, version 4.0.13.

COSHY (Compact Shields for Hybrid Systems)

• COSHY-2 based on UPPAAL 5.1.0-beta5, 2026-05-05

  OS	Package	SHA256 control sum
  Linux x86_64	uppaal-5.1.0-b5-coshy-2-linux64.zip	463ae973ae722b488d9d0b3125f7f760fd2abef0907c2ce0bc7a1317b146006f
  Windows x86_64	uppaal-5.1.0-b5-coshy-2-installer.exe	de7ce2cb60c7dfdd47cf832d9bdf8380297b75fa3d94c346e21d06b8a776ce19
  Windows x86_64	uppaal-5.1.0-b5-coshy-2-win64.zip	eccb1b88e1e9784dd2652a6cf79a29d5fd1043e838fec871d6cc86d5c3d42ede

• COSHY-1 based on UPPAAL 5.1.0-beta5, 2025-07-04

  OS	Package	SHA256 control sum
  Linux x86_64	uppaal-5.1.0-b5-coshy-linux64.zip	ac12df6deb32eb8c1a4a51a917564d377bea5fb8ae24a177822780a75f26875e
  Windows x86_64	uppaal-5.1.0-b5-coshy-installer.exe	40bca00a241ddbf2c43384b5e85cfd01a85e97eae060c68c7b4025b2d2e21ef8
  Windows x86_64	uppaal-5.1.0-b5-coshy-win64.zip	afe87cc7eabaabbf87a972a33977e21a1be974e192f00b0ae7b3d6fffc3a5cdd

Tiga (Timed Games for Controller Synthesis)

• Tiga 0.18, Linux (2014)
• Tiga 0.17, Linux & Windows (2014)
• Tiga 0.15, Mac OS X (2010)

ECDAR (Environment for Compositional Design, Abstraction and Refinement)

• ECDAR 0.10, Linux & Windows (2013)
• ECDAR 0.10, MacOS X (2013)

CORA

• CORA 20060910, Linux, Solaris & Windows (2006)
• CORA 20060910, Mac OS X (2006)

TRON

• TRON 1.5, Linux (2009)
• TRON 1.5, Windows (2009)

Other

• UPPAL Parser Library (UTAP)
  Timed Automata Parser Library (libutap). Distributed separately under the LGPL license.

• DBM Library (UDBM)
  Implementation of DBM, an efficient data structure for representing clock constraints in timed automata.

• All UPPAAL Downloads

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

• Changelog
• Older versions

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:
     
     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 default-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 (only for zip package) 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

   • Windows: Run uppaal.jar or uppaal.exe from File Explorer or from Start Menu if AddLinks.vbs was run from step 4.
   • MacOS: Run Uppaal.app from Launcher.
   • Linux: Run ./uppaal from terminal or in your Desktop Environment/Window Manager launcher.