UPPAAL is free for academic use only. Any other use requires a license of UPPAAL.
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.
Note that, any use at companies, private use, use at national research agencies, or any other non-academic use requires a license of UPPAAL.

Eligible academic users can access www.uppaal.org and download the academic version. Please note that the tool will cease to work without warning for non-academic users who still download the academic version of the tool.