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.0This is the current official stable release of the academic version. There is no 64-bit version.
- Older Uppaal version
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.
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 setting
TIME="Max RSS: %Mkb\nUser: %Us\nKernel: %Ss\nElapsed: %es"or similar.
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.
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, and the directories
bin-directories should all contain the two files
verifyta(.exe)plus some additional files, depending on the platform. The directory
demoshould contain some demo files with suffixes
.xml, and .
- 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 file
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 firstname.lastname@example.org 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.