FAQ List

FAQ1

Q: Can I use VeriLHyS in a commercial setting?
A: You may study, copy, compile and execute VeriLHyS only for academic, non-commercial reaserch purposes, subject to the restrictions reported in the LICENSE

You may not:

• Modify VeriLHyS for any purpose.
• Re-distribute VeriLHyS in any form for any purposes.

Further details are available in the License page.

FAQ2

Q: Can I Use VeriLHyS without a MATLAB license?
A: VeriLHyS needs a valid mosek and MATLAB licenses.