Is PolySpace supported on Linux?

I have a Linux machine and I would like to know if PolySpace is supported under Linux operating systems.

Answer 1

[MathWorks Support Team]

This change has been incorporated in Release 2009b (R2009b). For more information, see the system requirements page below:

https://www.mathworks.com/products/availability.html#PB

For all other distributions of Linux, it may be possible to run PolySpace using the -allow-unsupported-linux flag upon startup. However, PolySpace is only supported under the distributions listed in the page above.