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_amd64.deb
• 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.

Tiga

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

ECDAR

• 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.