UPPAAL

Download

Official Release

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

Changes.

Development Release

OSPackage
Windowsuppaal-4.1.20-stratego-10-win64.zip
Linuxuppaal-4.1.20-stratego-10-linux64.zip
macOSUPPAAL-4.1.20-stratego-10-app.zip

Changes.

Install and Run

  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 11 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

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

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

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