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 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.
- Windows: ZIP (requires Java), MSI (includes Java), EXE (includes Java).
- macOS: APP bundle (requires Java), DMG (includes Java).
- Linux: ZIP (requires Java), DEB (includes Java), RPM (includes Java).
Please register at veriaal.dk to obtain a free academic license key.
Development snapshot 5.1.0-beta4:
Uppaal 4.0
This is the current official stable release of the academic version. There is no 64-bit version.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
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.
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:
-
Uppaal graphical user interface requires Java version ≥17 installed. We recommend Open JDK:
-
Windows: download and install Open JDK from Adoptium.
During installation selectJavaSoft (Oracle) registry keys
:
Otherwiseuppaal.exe
may not find Java and fail withThis 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.:
-
Command line utility
verifyta
does not use Java, hence Java is optional if you use onlyverifyta
.
-
-
Choose and download Uppaal version from the download area.
-
Extract Uppaal distribution archive where it will be accessible:
C:\Program Files
,/Applications
,/usr/local
,/opt/local
or simply userDesktop
are fine locations as long as you have permissions. -
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.
- Windows: run
-
Launch Uppaal by either clicking on
uppaal.jar
,uppaal.exe
,Uppaal.app
oruppaal
launcher.- macOS may put Uppaal into quarantine and suggest to “Move to Bin”:
To work around the quarantine, right-click (two-finger tap) and choose
Open
and thenOpen
again:
- macOS may put Uppaal into quarantine and suggest to “Move to Bin”:
-
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:
- Command line:
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.