UPPAAL

Download

Official Release

OSBinary Packages (require Java)Installer Packages (include Java)
Windowsuppaal-5.0.0-win64.zipMSI or EXE
Linuxuppaal-5.0.0-linux64.zipDEB or RPM
macOSUPPAAL-5.0.0-app.zipDMG

Changes.

Development Snapshot

OSBinary Packages (require Java)Installer packages (include Java)
Windowsuppaal-5.1.0-beta4-win64.zipMSI or EXE
Linuxuppaal-5.1.0-beta4-linux64.zipDEB or RPM
macOSUPPAAL-5.1.0-beta4-app.zipDMG

Changes.

Previous Release

OSPackage
Windowsuppaal64-4.1.26-1.zip
Linuxuppaal64-4.1.26-2.zip

How to Install Binary Package

  1. Extract uppaal-version.zip to where you see fit. It can be your Desktop (or C:\Program Files, /opt/local, /usr/local or Applications if you have administrative rights).
  2. The newly created directory uppaal-version/bin contains verifyta.exe which can be used to verify UPPAAL models from command line.
  3. For graphical user interface, make sure that Java 17 or newer is installed, see Install Java for detailed steps.
  4. Start UPPAAL graphical user interface:
  5. Optionally install shortcuts in Programs menu and/or Desktop:
  6. If UPPAAL asks for a license key, obtain your personal license key by following the Registration steps.

Install Java (for Binary Package)

Obtain Java Runtime Environment (JRE) or Java Development Kit (JDK) at least version 17.

Long-Term-Service (LTS) releases are recommended, such as 17 and 21.

Register

  1. Visit License Registration to obtain your personal UPPAAL license key.
  2. Keep your license keys securely: your key may stop working if someone else starts using it!
  3. Enter your license key by either: where:

For technical information on how the license is managed on your computer please see License Help.

In case of issues, please contact web@veriaal.dk.

Top