License Help

The license information consists of the following files:

• lease-* files contain the license and lease information. UPPAAL will ask for license key if it cannot find such files.
• settings.ini contains the lease settings, where the duration can be adjusted for the next lease renewal.

The files are stored in different places of various operating systems:

• Windows
• Linux
• macOS

Windows

License information is stored in %LOCALAPPDATA%\uppaal.

To access it, press Win+R, type %LOCALAPPDATA%\uppaal and hit Enter:

This will open the UPPAAL configuration directory:

Linux

License information is stored in $HOME/.config/uppaal.

To access it, press Alt+F2, type ~/.config/uppaal and hit Enter:

This will open the UPPAAL configuration directory:

macOS

License information is stored in $HOME/.config/uppaal.

To access it, start Find, press Shift Command G, type ~/.config/uppaal and hit Enter:

This will open the UPPAAL configuration directory:

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

Top