Issue

In your Polyspace^® installation, you can find a MATLAB^® executable in the polyspaceroot\bin subfolder. The reason is that some functionalities of Polyspace use the MATLAB engine underneath. However, the MATLAB engine shipped with Polyspace is severely reduced and cannot be used by end-users even after license activation.

If you try to open matlab.exe from a Polyspace installation folder and try to execute MATLAB commands, MATLAB might crash during command execution. The crash log shows that you opened MATLAB from a Polyspace installation folder, such as C:\Program Files\Polyspace\R2024b.

Possible Solutions

Do not open MATLAB from a Polyspace installation by running an executable such as:

C:\Program Files\Polyspace\R2024b\bin\matlab.exe

C:\Program Files\MATLAB\R2024b\bin\matlab.exe

To see which MATLAB installation you are using, at the MATLAB command window, enter:

matlabroot

Note that you can run Polyspace from a MATLAB command line. But even for this usage, you must open MATLAB from your MATLAB installation folder and run some preliminary steps to integrate your MATLAB and Polyspace installation. See Integrate Polyspace with MATLAB and Simulink.