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.