MATLAB and Simulink Requirements
Mac, Windows, Linux
Polyspace Code Prover is not supported on Apple silicon Macs.
Uses instance-based licensing, not concurrent user
Introduced in R2013b
View requirements for another product:
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.