License

VeriLHyS is Copyright by Fondazione Bruno Kessler 2025.

VeriLHyS is currently available under the following conditions:

• It can be used only for non-commercial or academic purposes.
• The source code in the distribution can be used only for reading with no right of modification.

See LICENSE for complete licensing information.

Third-party licenses

The software needs a valid mosek and MATLAB licenses.

Mosek license

Mosek offers a free license to academic faculty, students or staff. This can be downloaded here.

MATLAB license

A MATLAB trial license can be used to test this software.

Once the account is created and the trial license obtained, navigate to https://it.mathworks.com/licensecenter/trials, select your license, and navigate to "Install and Activate", then "Activate to Retrieve License File". Here, download the license file associated to a mac address (as 02:42:ac:11:00:02) and a username.

Please direct inquiries about other usages of VeriLHyS to