License Registration

Follow the license registration form to receive a personal license key via email:

• UPPAAL Academic License for work performed by researchers, teachers or students at institutions delivering academic degrees. In addition, the work or the worker may not be contracted by any non-academic institution. Any use at companies, private use, use at national research agencies, or any other non-academic use requires a separate license of UPPAAL.
• UPPAAL Commercial License for commercial evaluation and use.

For technical information on how the license is managed on your computer please see License Help.

In case of issues, please contact web@veriaal.dk.