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.We currently do not provide a 64-bit version for Windows.
- Download 32-bit Windows and Linux, version 4.1.24
- Download 64-bit Linux only, version 4.1.24
- Download 64-bit Mac OS X only, version 4.1.24 (Catalina users may need a workaround).
You should use the 64-bit version if it is available for your platform and if you have 8GB of memory or more.
Uppaal 4.0
This is the current official stable release of the academic version. There is no 64-bit version.Other
- Older Uppaal version
-
Parser Library
Uppaal Timed Automata Parser Library (libutap). Distributed separately under the LGPL license. - DBM Library
Implementation of DBM, an efficient data structure for representing clock constraints in timed automata. - convert.jar
Utility that converts files from version 3.2 to 3.4, see version history - Memtime (old repository)
Small utility to measure time and memory consumption on POSIX OSes.
Alternatively one can use time utility with an environment vairable settingTIME="Max RSS: %Mkb\nUser: %Us\nKernel: %Ss\nElapsed: %es"
or similar.
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 www.uppaal.com.
Version History
Installation Instructions
To download and install (or upgrade to) the current version of Uppaal:
- Choose the version from the download area.
- Fill in the license agreement and press the "Accept and Download" button.
- Download the zip-file containing the installation files.
- Unzip the downloaded zip-file. This should created a number
of files, including:
uppaal.jar
,uppaal
, and the directoriesbin-Linux
,bin-Win32
, anddemo
. Thebin-
directories should all contain the two filesserver(.exe)
andverifyta(.exe)
plus some additional files, depending on the platform. The directorydemo
should contain some demo files with suffixes.xml
, and .q
. - Make sure you have at least Java 11 configured on your system. The Uppaal GUI will not run without Java installed. Java for Windows and Linux can be downloaded from adoptopenjdk.
- To run Uppaal on Linux systems
run the startup script named
uppaal
. To run on Windows systems, just double-click the fileuppaal.jar
.
New: Launch AddLinks.vbs to create links in programs menu and desktop. This should take care of proxy settings automatically as well.
Please e-mail bug-uppaal@list.it.uu.se if you have problems to install, if you find bugs or have suggestions how Uppaal can be improved. Before e-mailing us, please check the the Frequently Asked Questions sections and the Known Issues.