Why do I receive a licensing error for Simulink Check (formerly Simulink Verification and Validation) despite having a valid license for the toolbox?

I have updated my license to include Simulink Check (formerly Simulink Verification and Validation), but I still receive a licensing error for this toolbox when using the Model Advisor. How can this be resolved?

Answer 1

[MathWorks Support Team]

Start by checking the Simulink Check (formerly Simulink Verification and Validation) license by running the following command in MATLAB:

>> license checkout SL_Verification_Validation

​If it returns a license error, please use the license update feature in the MATLAB Help menu to update your license. Alternatively, you can activate MATLAB again to update the license file.

If it returns ans=1 please run the following command:

​>> ver

​This command will list the toolboxes that are currently installed. If Simulink Check (R2017b onwards) / Simulink Verification and Validation (R2017a and earlier) is not listed in the output, then this toolbox needs to be installed.

You can install the toolbox into the existing MATLAB installation by following the directions here:

https://www.mathworks.com/matlabcentral/answers/101885-how-do-i-install-additional-toolboxes-into-an-existing-installation-of-matlab

Once the toolbox has been installed, try performing the original operation again to see if the problem has been resolved.

NOTE: As of R2017b, the Simulink Verification and Validation product transitioned into Simulink Requirements, Simulink Check, and Simulink Coverage. However, the name Simulink Verification and Validation was retained in the license file for Simulink Check. Hence, Simulink Verification and Validation will automatically be available on your license prior to R2017b releases as long as you have Simulink Check on the license.